diff options
| author | Brandon Elam Barker <beb82@cornell.edu> | 2019-02-16 13:40:15 +0000 |
|---|---|---|
| committer | Brandon Elam Barker <beb82@cornell.edu> | 2019-02-16 13:40:15 +0000 |
| commit | 3aac221a2eb7ff7bdb158b28a16dab7ef0ed61c5 (patch) | |
| tree | 4c585d15e91c8335c8a6bacfd126b2da3d721ee4 /pkgs/development/compilers | |
| parent | 5601ba77c04752ac4d2e17472a7e0e5ea2dc810d (diff) | |
| download | nixlib-3aac221a2eb7ff7bdb158b28a16dab7ef0ed61c5.tar nixlib-3aac221a2eb7ff7bdb158b28a16dab7ef0ed61c5.tar.gz nixlib-3aac221a2eb7ff7bdb158b28a16dab7ef0ed61c5.tar.bz2 nixlib-3aac221a2eb7ff7bdb158b28a16dab7ef0ed61c5.tar.lz nixlib-3aac221a2eb7ff7bdb158b28a16dab7ef0ed61c5.tar.xz nixlib-3aac221a2eb7ff7bdb158b28a16dab7ef0ed61c5.tar.zst nixlib-3aac221a2eb7ff7bdb158b28a16dab7ef0ed61c5.zip | |
ats2: 0.3.12 -> 0.3.13
Due to upcoming packaging changes with ATS2, the -gmp release will be the same as the old release, and it is the most full-featured release. So nothing is changing other than the .tgz archive name.
Diffstat (limited to 'pkgs/development/compilers')
| -rw-r--r-- | pkgs/development/compilers/ats2/default.nix | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix index 6da21d7f4009..df61ea2b791c 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.12" ; + versionPkg = "0.3.13" ; contrib = fetchurl { - url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-contrib-${versionPkg}.tgz" ; - sha256 = "6e53e3070f50600373b857a73a76196adffcabc3c0d3173eaaf9a5f50f4596f4"; + url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-contrib-${versionPkg}.tgz"; + sha256 = "5f64172b2df08c8563b01febc32b582b2d7b59c0c514bd2beb727e69bb8e24ee"; }; postInstallContrib = stdenv.lib.optionalString withContrib @@ -30,8 +30,8 @@ stdenv.mkDerivation rec { version = versionPkg; src = fetchurl { - url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz"; - sha256 = "63eb02b225a11752745e8f08691140ed764288ab4ceda3710670cde24835b0d8"; + url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-gmp-${version}.tgz"; + sha256 = "0056ff5bfa55c9b9831dce004e7b1b9e7a98d56a9d8ae49d827f9fd0ef823c23"; }; buildInputs = [ gmp ]; |