ats2: Bump
This commit is contained in:
parent
8eb3de7c86
commit
ceb367a8a2
@ -2,11 +2,11 @@
|
|||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "ats2-${version}";
|
name = "ats2-${version}";
|
||||||
version = "0.1.1";
|
version = "0.1.2";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz";
|
url = "mirror://sourceforge/ats2-lang/ATS2-Postiats-${version}.tgz";
|
||||||
sha256 = "17yr5zc4cr4zlizhzy43ihfcidl63wjxcc002amzahskib4fsbmb";
|
sha256 = "1266hl03d4w13qrimq6jsxcmw1mjivl27l3lhf9ddqlz0vy97j6a";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ gmp ];
|
buildInputs = [ gmp ];
|
||||||
|
Loading…
Reference in New Issue
Block a user