diff options
| author | Brandon Elam Barker <beb82@cornell.edu> | 2018-06-07 11:44:06 +0000 |
|---|---|---|
| committer | Brandon Elam Barker <beb82@cornell.edu> | 2018-06-07 11:44:06 +0000 |
| commit | 52f81b6b5852d5d02e3b7e877e7f31b811e1ce7f (patch) | |
| tree | a69b531211cb8a8078945055788823a8db51643d /pkgs/development/compilers/ats2 | |
| parent | 08c6c6beb46be071202c3973e4f2f2959af13c93 (diff) | |
| download | nixlib-52f81b6b5852d5d02e3b7e877e7f31b811e1ce7f.tar nixlib-52f81b6b5852d5d02e3b7e877e7f31b811e1ce7f.tar.gz nixlib-52f81b6b5852d5d02e3b7e877e7f31b811e1ce7f.tar.bz2 nixlib-52f81b6b5852d5d02e3b7e877e7f31b811e1ce7f.tar.lz nixlib-52f81b6b5852d5d02e3b7e877e7f31b811e1ce7f.tar.xz nixlib-52f81b6b5852d5d02e3b7e877e7f31b811e1ce7f.tar.zst nixlib-52f81b6b5852d5d02e3b7e877e7f31b811e1ce7f.zip | |
ats2: 0.3.9 -> 0.3.11
Diffstat (limited to 'pkgs/development/compilers/ats2')
| -rw-r--r-- | pkgs/development/compilers/ats2/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix index 579af7a8d232..d6453d1d1071 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.9" ; + versionPkg = "0.3.11" ; contrib = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-contrib-${versionPkg}.tgz" ; - sha256 = "627bb99ecf2e3d5976f95f2faa13c7c330726601e8bb05a2113c9b69c98749b5"; + sha256 = "300884eca8a54cb9b0daa19bd04a86252160cc8ad6ef494198babd56d5a579bc"; }; postInstallContrib = stdenv.lib.optionalString withContrib @@ -31,7 +31,7 @@ stdenv.mkDerivation rec { src = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz"; - sha256 = "c69a7c58964df26227e77656659129ca4c05205d2ebcacc7084edba818fb6e81"; + sha256 = "feba71f37e9688b8ff0a72c4eb21914ce59f19421350d9dc3f15ad6f8c28428a"; }; buildInputs = [ gmp ]; @@ -52,6 +52,6 @@ stdenv.mkDerivation rec { homepage = "http://www.ats-lang.org"; license = licenses.gpl3Plus; platforms = platforms.linux; - maintainers = with maintainers; [ thoughtpolice ttuegel ]; + maintainers = with maintainers; [ thoughtpolice ttuegel bbarker ]; }; } |