blob: 66ca31566da80eb30e74bd3a6f5016788a0a7cb2 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
{stdenv, fetchurl, aterm, toolbuslib}: derivation {
name = "pt-support-1.0";
system = stdenv.system;
builder = ./builder.sh;
src = fetchurl {
url = http://www.cwi.nl/projects/MetaEnv/pt-support/pt-support-1.0.tar.gz;
md5 = "cc96dc2bfbaf3f218dfe9a0b8bb4d801";
};
stdenv = stdenv;
aterm = aterm;
toolbuslib = toolbuslib;
}
|