2004-05-12 18:10:43 +02:00
|
|
|
{stdenv, fetchurl, aterm, toolbuslib, ptsupport}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2004-01-22 20:09:49 +01:00
|
|
|
name = "sglr-3.10.2";
|
|
|
|
builder = ./builder.sh;
|
|
|
|
src = fetchurl {
|
|
|
|
url = http://www.cwi.nl/projects/MetaEnv/sglr/sglr-3.10.2.tar.gz;
|
|
|
|
md5 = "39aa609be84115d7ddc56a6c74b792b7";
|
|
|
|
};
|
2004-05-12 18:10:43 +02:00
|
|
|
inherit stdenv aterm ptsupport toolbuslib;
|
|
|
|
buildInputs = [stdenv aterm ptsupport toolbuslib];
|
2004-01-22 20:09:49 +01:00
|
|
|
}
|