summaryrefslogtreecommitdiffstats
path: root/pkgs/development/compilers/ats2
diff options
context:
space:
mode:
authorArtyom Shalkhakov <artyom.shalkhakov@gmail.com>2014-03-25 04:51:35 +0100
committerArtyom Shalkhakov <artyom.shalkhakov@gmail.com>2014-03-25 04:53:13 +0100
commit0242b3c6ac186aea0ae7bf2c7f876133325d7119 (patch)
tree61dc7c40f415872451a309451db3ec7f388bdd12 /pkgs/development/compilers/ats2
parentc814dab2eeb97c15f4a309e69435988fc3e65c6a (diff)
Adding ATS1, updating ATS2 package.
Diffstat (limited to 'pkgs/development/compilers/ats2')
-rw-r--r--pkgs/development/compilers/ats2/default.nix6
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;
}