diff options
author | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2014-03-25 04:51:35 +0100 |
---|---|---|
committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2014-03-25 04:53:13 +0100 |
commit | 0242b3c6ac186aea0ae7bf2c7f876133325d7119 (patch) | |
tree | 61dc7c40f415872451a309451db3ec7f388bdd12 /pkgs/development/compilers/ats2 | |
parent | c814dab2eeb97c15f4a309e69435988fc3e65c6a (diff) |
Adding ATS1, updating ATS2 package.
Diffstat (limited to 'pkgs/development/compilers/ats2')
-rw-r--r-- | pkgs/development/compilers/ats2/default.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix index ae9a202a529e..c1c71b0dfe21 100644 --- a/pkgs/development/compilers/ats2/default.nix +++ b/pkgs/development/compilers/ats2/default.nix @@ -1,11 +1,11 @@ { stdenv, fetchurl, gmp }: -let version = "0.0.5"; in stdenv.mkDerivation { +let version = "0.0.6"; in stdenv.mkDerivation { name = "ats2-postiats-${version}"; src = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz"; - sha256 = "1rzcqc7fwqf0y4cc14lr282r25s66jygf6cxrnf5l8p5p550l0dl"; + sha256 = "110a4drzf656j9s5yfvxj1cwgh5g9ysnh40cv8y9qfjjkki8vd5b"; }; buildInputs = [ gmp ]; @@ -15,4 +15,6 @@ let version = "0.0.5"; in stdenv.mkDerivation { homepage = http://www.ats-lang.org/; license = stdenv.lib.licenses.gpl3Plus; }; + + platforms = stdenv.lib.platforms.all; } |