2005-09-18 01:58:51 +02:00
|
|
|
{stdenv, fetchurl, jdk}:
|
2004-08-09 21:28:21 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2005-03-23 11:24:37 +01:00
|
|
|
name = "jjtraveler-0.4.3";
|
2004-08-09 21:28:21 +02:00
|
|
|
src = fetchurl {
|
2007-08-24 14:32:36 +02:00
|
|
|
url = http://www.cwi.nl/projects/MetaEnv/jjtraveler/JJTraveler-0.4.3.tar.gz;
|
2004-08-09 21:28:21 +02:00
|
|
|
md5 = "35bf801ee61f042513ae88247fe1bf1d";
|
|
|
|
};
|
2005-09-18 01:58:51 +02:00
|
|
|
buildInputs = [stdenv jdk];
|
2004-08-09 21:28:21 +02:00
|
|
|
}
|