2004-08-09 21:28:21 +02:00
|
|
|
{stdenv, fetchurl, j2sdk}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "jjtraveler-0.4.3.tar.gz";
|
|
|
|
src = fetchurl {
|
2005-02-15 15:44:19 +01:00
|
|
|
url = http://catamaran.labs.cs.uu.nl/dist/tarballs/JJTraveler-0.4.3.tar.gz;
|
2004-08-09 21:28:21 +02:00
|
|
|
md5 = "35bf801ee61f042513ae88247fe1bf1d";
|
|
|
|
};
|
|
|
|
buildInputs = [stdenv j2sdk];
|
|
|
|
}
|