Remove jetty_gwt

2016-11-03 22:02:48 -04:00
parent ac44a1b6aa
commit 66bdac04e8
2 changed files with 0 additions and 15 deletions
--- a/pkgs/development/libraries/java/jetty-gwt/default.nix
+++ b/pkgs/development/libraries/java/jetty-gwt/default.nix
@@ -1,13 +0,0 @@
-{stdenv, fetchurl}:
-
-stdenv.mkDerivation {
-  name = "jetty-gwt-6.1.14";
-  src = fetchurl {
-    url = http://repository.codehaus.org/org/mortbay/jetty/jetty-gwt/6.1.14/jetty-gwt-6.1.14.jar;
-    sha256 = "17x8ss75rx9xjn93rq861mdn9d6gw87rbrf24blawa6ahhb56ppf";
-  };
-  buildCommand = ''
-    mkdir -p $out/share/java
-    cp $src $out/share/java/$name.jar
-  '';
-}