diff options
author | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2014-02-09 16:26:46 +0100 |
---|---|---|
committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2014-02-09 16:26:46 +0100 |
commit | 52e99bc723cd7b481d3f66612e518fd88a3c54df (patch) | |
tree | 243d7ec7c53681a237c1cd4e60c405c541981f90 /pkgs/development/compilers/ats2 | |
parent | 5b41db9765e33465988900cbb5f1aafe51bf548a (diff) |
Bumping ATS/Postiats version to 0.0.5.
Diffstat (limited to 'pkgs/development/compilers/ats2')
-rw-r--r-- | pkgs/development/compilers/ats2/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/ats2/default.nix b/pkgs/development/compilers/ats2/default.nix index 0f46b7aeb6dc..ae9a202a529e 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.3"; in stdenv.mkDerivation { +let version = "0.0.5"; in stdenv.mkDerivation { name = "ats2-postiats-${version}"; src = fetchurl { url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz"; - sha256 = "0hq63zrmm92j5ffnsmylhhllm8kgjpjkaj4xvzz1zlshz39lijxp"; + sha256 = "1rzcqc7fwqf0y4cc14lr282r25s66jygf6cxrnf5l8p5p550l0dl"; }; buildInputs = [ gmp ]; |