2006-02-02 17:21:09 +01:00
|
|
|
{stdenv, fetchurl, toolbuslib, atermjava, aterm, yacc, flex} :
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "toolbus-1.2.2";
|
|
|
|
src = fetchurl {
|
|
|
|
url = http://www.cwi.nl/projects/MetaEnv/toolbus/toolbus-1.2.2.tar.gz;
|
|
|
|
md5 = "887349b097006c0883e1948797349a50";
|
|
|
|
};
|
|
|
|
inherit toolbuslib atermjava aterm yacc flex;
|
2006-02-03 10:08:26 +01:00
|
|
|
buildInputs = [toolbuslib atermjava aterm yacc flex];
|
2006-02-02 17:21:09 +01:00
|
|
|
}
|