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