tomcat5: remove since it's end of life (#18341)

Source is not available anymore.
2016-09-06 03:59:25 +02:00
parent 198356c086
commit 36e8df19e1
2 changed files with 0 additions and 19 deletions
@@ -1,17 +0,0 @@
-{stdenv, fetchurl, jdk}:
-
-stdenv.mkDerivation {
-
-  name = "jakarta-tomcat-5.0.27";
-
-  builder = ./builder.sh;
-
-  src = fetchurl {
-    url = http://apache.essentkabel.com/jakarta/tomcat-5/v5.0.27/bin/jakarta-tomcat-5.0.27.tar.gz;
-    md5 = "b802ee042677e284bcf65738c7bdc3b6";
-  };
-
-  inherit jdk;
-}
-
-