diff options
Diffstat (limited to 'pkgs/development/libraries/java')
-rw-r--r-- | pkgs/development/libraries/java/jjtraveler/default.nix | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/pkgs/development/libraries/java/jjtraveler/default.nix b/pkgs/development/libraries/java/jjtraveler/default.nix deleted file mode 100644 index b9dc1d68860..00000000000 --- a/pkgs/development/libraries/java/jjtraveler/default.nix +++ /dev/null @@ -1,14 +0,0 @@ -{stdenv, fetchurl, jdk}: - -stdenv.mkDerivation { - name = "jjtraveler-0.4.3"; - src = fetchurl { - url = http://www.cwi.nl/projects/MetaEnv/jjtraveler/JJTraveler-0.4.3.tar.gz; - md5 = "35bf801ee61f042513ae88247fe1bf1d"; - }; - buildInputs = [stdenv jdk]; - - meta = { - platforms = stdenv.lib.platforms.unix; - }; -} |