Merge pull request #50719 from r-ryantm/auto-update/jetty

jetty: 9.4.12.v20180830 -> 9.4.14.v20181114
This commit is contained in:
Renaud 2018-11-21 11:17:27 +01:00 committed by GitHub
commit ae69f79ddb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "jetty-${version}"; name = "jetty-${version}";
version = "9.4.12.v20180830"; version = "9.4.14.v20181114";
src = fetchurl { src = fetchurl {
url = "https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz"; url = "https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
name = "jetty-distribution-${version}.tar.gz"; name = "jetty-distribution-${version}.tar.gz";
sha256 = "1z498cxvp1llp4ii8g52rhicypay1v2b6mmdmxrj3d82az6biiq3"; sha256 = "1i83jfd17d9sl9pjc8r9i8mx3nr9x0m5s50fd4l5ppzn4drvssn6";
}; };
phases = [ "unpackPhase" "installPhase" ]; phases = [ "unpackPhase" "installPhase" ];