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.
This commit is contained in:
parent
5601ba77c0
commit
3aac221a2e
@ -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 ];
|
||||
|
Loading…
Reference in New Issue
Block a user