public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

jjtraveler: remove package 

The package is a java library that no other project is using and which
upstream source doesn't work.

See http://www.program-transformation.org/Tools/JJTraveler
This commit is contained in:
zimbatm 2017-01-24 16:34:36 +00:00
parent 31d1a52b0c
commit c3e4c2f179
2 changed files with 0 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkgs/development/libraries/java/jjtraveler/default.nix
View File

@ -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;
};
}

4
pkgs/top-level/all-packages.nix
View File

@ -10014,10 +10014,6 @@ in
jflex = callPackage ../development/libraries/java/jflex { }; jflex = callPackage ../development/libraries/java/jflex { };
jjtraveler = callPackage ../development/libraries/java/jjtraveler {
stdenv = overrideInStdenv stdenv [gnumake380];
};
junit = callPackage ../development/libraries/java/junit { antBuild = releaseTools.antBuild; }; junit = callPackage ../development/libraries/java/junit { antBuild = releaseTools.antBuild; };
junixsocket = callPackage ../development/libraries/java/junixsocket { }; junixsocket = callPackage ../development/libraries/java/junixsocket { };