tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
ats2: 0.4.1 -> 0.4.2
+3
-3
+3
-3
pkgs/development/compilers/ats2/default.nix
+3
-3
pkgs/development/compilers/ats2/default.nix
···
3
3
, withContrib ? true }:
4
4
5
5
let
6
-
versionPkg = "0.4.1" ;
6
+
versionPkg = "0.4.2";
7
7
8
8
contrib = fetchurl {
9
9
url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-contrib-${versionPkg}.tgz";
10
-
sha256 = "184m4hz2xszhcfc6w9fw9qibhmcvgjmikwfwkb345xypr59jm93d";
10
+
hash = "sha256-m0hfBLsaNiLaIktcioK+ZtWUsWht3IDSJ6CzgJmS06c=";
11
11
};
12
12
13
13
postInstallContrib = lib.optionalString withContrib
···
31
31
32
32
src = fetchurl {
33
33
url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-gmp-${version}.tgz";
34
-
sha256 = "0c4nqp6yzmpj0mcpg7ibmwyqi8hjw3sza8myvy4nzq3fa6wldy5l";
34
+
hash = "sha256-UWgDjFojPBYgykrCrJyYvVWY+Gc5d4aRGjTWjc528AM=";
35
35
};
36
36
37
37
buildInputs = [ gmp ];