···23stdenv.mkDerivation rec {
4 name = "ats-${version}";
5- version = "0.2.11";
67 src = fetchurl {
8 url = "mirror://sourceforge/ats-lang/ats-lang-anairiats-${version}.tgz";
9- sha256 = "0rqykyx5whichx85jr4l4c9fdan0qsdd4kwd7a81k3l07zbd9fc6";
10 };
1112 # this is necessary because atxt files usually include some .hats files
···23stdenv.mkDerivation rec {
4 name = "ats-${version}";
5+ version = "0.2.12";
67 src = fetchurl {
8 url = "mirror://sourceforge/ats-lang/ats-lang-anairiats-${version}.tgz";
9+ sha256 = "0l2kj1fzhxwsklwmn5yj2vp9rmw4jg0b18bzwqz72bfi8i39736k";
10 };
1112 # this is necessary because atxt files usually include some .hats files