diff options
| author | Thales Macedo Garitezi <thalesmg@gmail.com> | 2020-10-10 22:26:59 -0300 |
|---|---|---|
| committer | Thales Macedo Garitezi <thalesmg@gmail.com> | 2020-10-10 22:26:59 -0300 |
| commit | 8a3ae55970e339faf8c9d126c37bcac1c71899f2 (patch) | |
| tree | dcd4f3e663d79f7cfc789e94c15e36e2b87e9097 /pkgs/development/compilers/ats2 | |
| parent | 2932d787ec7b9cddc5a85a7af5cb75657d371210 (diff) | |
ats2: 0.3.13 -> 0.4.1
Diffstat (limited to 'pkgs/development/compilers/ats2')
| -rw-r--r-- | pkgs/development/compilers/ats2/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix index a1e5927e349f..bbfbcdbbeb0e 100644 --- a/pkgs/development/compilers/ats2/default.nix +++ b/pkgs/development/compilers/ats2/default.nix @@ -3,11 +3,11 @@ , withContrib ? true }: let - versionPkg = "0.3.13" ; + versionPkg = "0.4.1" ; contrib = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-contrib-${versionPkg}.tgz"; - sha256 = "5f64172b2df08c8563b01febc32b582b2d7b59c0c514bd2beb727e69bb8e24ee"; + sha256 = "184m4hz2xszhcfc6w9fw9qibhmcvgjmikwfwkb345xypr59jm93d"; }; postInstallContrib = stdenv.lib.optionalString withContrib @@ -31,7 +31,7 @@ stdenv.mkDerivation rec { src = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-gmp-${version}.tgz"; - sha256 = "0056ff5bfa55c9b9831dce004e7b1b9e7a98d56a9d8ae49d827f9fd0ef823c23"; + sha256 = "0c4nqp6yzmpj0mcpg7ibmwyqi8hjw3sza8myvy4nzq3fa6wldy5l"; }; buildInputs = [ gmp ]; |