diff options
author | Alexander Ried <ried@mytum.de> | 2016-09-06 03:59:25 +0200 |
---|---|---|
committer | Franz Pletz <fpletz@fnordicwalking.de> | 2016-09-06 03:59:25 +0200 |
commit | 36e8df19e12363627a25c4dc6e96e99bb66233eb (patch) | |
tree | c768c21c9dc9d99202f7589d266f05ac62eae371 /pkgs/servers/http/tomcat | |
parent | 198356c086659e77b3d0262309270547535317f9 (diff) |
tomcat5: remove since it's end of life (#18341)
Source is not available anymore.
Diffstat (limited to 'pkgs/servers/http/tomcat')
-rw-r--r-- | pkgs/servers/http/tomcat/5.0.nix | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/pkgs/servers/http/tomcat/5.0.nix b/pkgs/servers/http/tomcat/5.0.nix deleted file mode 100644 index c15604cb0ae06..0000000000000 --- a/pkgs/servers/http/tomcat/5.0.nix +++ /dev/null @@ -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; -} - - |