Merge pull request #3395 from mixis/master

ATS2 version [0.0.7] --> [0.1.0]
This commit is contained in:
Austin Seipp 2014-07-31 21:29:01 -05:00
commit 14e477b4c4

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
name = "ats2-${version}";
version = "0.0.7";
version = "0.1.0";
src = fetchurl {
url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz";
sha256 = "1cv7caaf9fj6z3kln02ikkbmcy42324v39lzx3cf6qcsywwpm8fx";
sha256 = "0i7b9v7xki9j2jjjpydz0gl33af94b4jjmk75b9w20bs003v8vd4";
};
buildInputs = [ gmp ];