2004-05-12 17:48:39 +02:00
|
|
|
{stdenv, fetchurl, aterm, toolbuslib}:
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2004-01-22 19:57:34 +01:00
|
|
|
name = "pt-support-1.0";
|
|
|
|
|
builder = ./builder.sh;
|
|
|
|
|
src = fetchurl {
|
|
|
|
|
url = http://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-1.0.tar.gz;
|
|
|
|
|
md5 = "cc96dc2bfbaf3f218dfe9a0b8bb4d801";
|
|
|
|
|
};
|
2004-05-12 17:48:39 +02:00
|
|
|
inherit aterm toolbuslib;
|
|
|
|
|
buildInputs = [aterm toolbuslib];
|
2004-01-22 19:57:34 +01:00
|
|
|
}
|
