diff options
| -rw-r--r-- | pkgs/servers/http/jetty/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/servers/http/jetty/default.nix b/pkgs/servers/http/jetty/default.nix index 62bb5da5177..741432ae12b 100644 --- a/pkgs/servers/http/jetty/default.nix +++ b/pkgs/servers/http/jetty/default.nix @@ -1,13 +1,13 @@ {stdenv, fetchurl, unzip}: stdenv.mkDerivation { - name = "jetty-5.1.3"; + name = "jetty-5.1.4"; builder = ./bin-builder.sh; buildInputs = [unzip]; src = fetchurl { - url = http://puzzle.dl.sourceforge.net/sourceforge/jetty/jetty-5.1.3.zip; - md5 = "24d1d3163795a7e2390c9e711c919180"; + url = http://surfnet.dl.sourceforge.net/sourceforge/jetty/jetty-5.1.4.zip; + md5 = "5d16bb1ea4a62dff93c0b7f7de00430f"; }; } |