nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-05 03:34:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #55899 from bbarker/ats2

Browse Source 
ats2: 0.3.12 -> 0.3.13
This commit is contained in:
Thomas Tuegel 2019-02-16 13:57:27 -06:00 committed by GitHub
commit 87f3bce34b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/compilers/ats2/default.nix
View File

@ -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 ];