diff options
author | zimbatm <zimbatm@zimbatm.com> | 2017-01-24 16:34:36 +0000 |
---|---|---|
committer | zimbatm <zimbatm@zimbatm.com> | 2017-01-24 16:34:36 +0000 |
commit | c3e4c2f17915a503225faa46ef79fcf8fd17dd7b (patch) | |
tree | 6773e6918f20a7ba9c85f0ca718587cc1ae8a546 /pkgs | |
parent | 31d1a52b0cb8ea721486653c12c50273454ca287 (diff) | |
download | nixlib-c3e4c2f17915a503225faa46ef79fcf8fd17dd7b.tar nixlib-c3e4c2f17915a503225faa46ef79fcf8fd17dd7b.tar.gz nixlib-c3e4c2f17915a503225faa46ef79fcf8fd17dd7b.tar.bz2 nixlib-c3e4c2f17915a503225faa46ef79fcf8fd17dd7b.tar.lz nixlib-c3e4c2f17915a503225faa46ef79fcf8fd17dd7b.tar.xz nixlib-c3e4c2f17915a503225faa46ef79fcf8fd17dd7b.tar.zst nixlib-c3e4c2f17915a503225faa46ef79fcf8fd17dd7b.zip |
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
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/libraries/java/jjtraveler/default.nix | 14 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
2 files changed, 0 insertions, 18 deletions
diff --git a/pkgs/development/libraries/java/jjtraveler/default.nix b/pkgs/development/libraries/java/jjtraveler/default.nix deleted file mode 100644 index b9dc1d688605..000000000000 --- 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; - }; -} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 2dccf8213b28..5440cf42ea49 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -10014,10 +10014,6 @@ in 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; }; junixsocket = callPackage ../development/libraries/java/junixsocket { }; |