Remove jetty_util

This commit is contained in:
Tim Steinbach 2016-11-03 22:02:28 -04:00
parent 6d11e8ed4c
commit ac44a1b6aa
No known key found for this signature in database
GPG key ID: 83FF2ACAEB6C2D24
2 changed files with 0 additions and 15 deletions

View file

@ -1,13 +0,0 @@
{stdenv, fetchurl}:
stdenv.mkDerivation {
name = "jetty-util-6.1.16";
src = fetchurl {
url = http://repository.codehaus.org/org/mortbay/jetty/jetty-util/6.1.16/jetty-util-6.1.16.jar;
sha256 = "1ld94lb5dk7y6sjg1rq8zdk97wiy56ik5vbgy7yjj4f6rz5pxbyq";
};
buildCommand = ''
mkdir -p $out/share/java
cp $src $out/share/java/$name.jar
'';
}

View file

@ -7424,8 +7424,6 @@ in
jetty_gwt = callPackage ../development/libraries/java/jetty-gwt { };
jetty_util = callPackage ../development/libraries/java/jetty-util { };
jshon = callPackage ../development/tools/parsing/jshon { };
json_glib = callPackage ../development/libraries/json-glib { };