diff options
| author | Joachim F <joachifm@users.noreply.github.com> | 2018-10-24 16:43:58 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-24 16:43:58 +0000 |
| commit | 017bb02908530d9529d714dc270c26e17678cd31 (patch) | |
| tree | 5c4e8a4ade32356965624db90bec4c3737709492 | |
| parent | b6a5cd897068298934583c5a8139d9112521f6fa (diff) | |
| parent | 68cb7903c7ce9e9f01280eb3e533aee5425452df (diff) | |
| download | nixlib-017bb02908530d9529d714dc270c26e17678cd31.tar nixlib-017bb02908530d9529d714dc270c26e17678cd31.tar.gz nixlib-017bb02908530d9529d714dc270c26e17678cd31.tar.bz2 nixlib-017bb02908530d9529d714dc270c26e17678cd31.tar.lz nixlib-017bb02908530d9529d714dc270c26e17678cd31.tar.xz nixlib-017bb02908530d9529d714dc270c26e17678cd31.tar.zst nixlib-017bb02908530d9529d714dc270c26e17678cd31.zip | |
Merge pull request #48877 from bbarker/ats2_update
ats2: 0.3.11 -> 0.3.12
| -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 d6453d1d1071..6da21d7f4009 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.11" ; + versionPkg = "0.3.12" ; contrib = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-contrib-${versionPkg}.tgz" ; - sha256 = "300884eca8a54cb9b0daa19bd04a86252160cc8ad6ef494198babd56d5a579bc"; + sha256 = "6e53e3070f50600373b857a73a76196adffcabc3c0d3173eaaf9a5f50f4596f4"; }; postInstallContrib = stdenv.lib.optionalString withContrib @@ -31,7 +31,7 @@ stdenv.mkDerivation rec { src = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz"; - sha256 = "feba71f37e9688b8ff0a72c4eb21914ce59f19421350d9dc3f15ad6f8c28428a"; + sha256 = "63eb02b225a11752745e8f08691140ed764288ab4ceda3710670cde24835b0d8"; }; buildInputs = [ gmp ]; |