3
0
Fork 0
forked from mirrors/nixpkgs

* Use a patched ATerm library that fixes another GC bug.

svn path=/nixpkgs/trunk/; revision=9065
This commit is contained in:
Eelco Dolstra 2007-08-07 23:27:38 +00:00
parent 7f30b40e65
commit db0e9e16c9

View file

@ -1,10 +1,10 @@
{stdenv, fetchurl}: {stdenv, fetchurl}:
stdenv.mkDerivation { stdenv.mkDerivation {
name = "aterm-2.4.2-fixes"; name = "aterm-2.4.2-fixes-r2";
src = fetchurl { src = fetchurl {
url = http://losser.st-lab.cs.uu.nl/~eelco/dist/aterm-2.4.2-fixes.tar.bz2; url = http://losser.st-lab.cs.uu.nl/~eelco/dist/aterm-2.4.2-fixes-r2.tar.bz2;
md5 = "9ad8ed141d3e66a7689817789431c0cd"; sha256 = "1w3bxdpc2hz29li5ssmdcz3x0fn47r7g62ns0v8nazxwf40vff4j";
}; };
meta = { meta = {
homepage = http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATerm; homepage = http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATerm;