2008-01-29 10:32:56 +01:00
|
|
|
{stdenv, fetchurl}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "aterm-2.5";
|
2008-08-29 13:48:44 +02:00
|
|
|
|
2008-01-29 10:32:56 +01:00
|
|
|
src = fetchurl {
|
|
|
|
url = http://buildfarm.st.ewi.tudelft.nl/releases/meta-environment/aterm-2.5pre21238-l2q7rg38/aterm-2.5.tar.gz;
|
|
|
|
md5 = "33ddcb1a229baf406ad1f603eb1d5995";
|
|
|
|
};
|
2008-08-29 13:48:44 +02:00
|
|
|
|
|
|
|
doCheck = true;
|
|
|
|
|
2008-01-29 10:32:56 +01:00
|
|
|
meta = {
|
|
|
|
homepage = http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/ATerm;
|
|
|
|
license = "LGPL";
|
|
|
|
description = "Library for manipulation of term data structures in C";
|
|
|
|
};
|
|
|
|
}
|