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

jetty: 9.4.26.v20200117 -> 9.4.29.v20200521
This commit is contained in:
Mario Rodas 2020-05-26 07:56:04 -05:00 committed by GitHub
commit 612d330c67
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "jetty";
version = "9.4.26.v20200117";
version = "9.4.29.v20200521";
src = fetchurl {
url = "https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
name = "jetty-distribution-${version}.tar.gz";
sha256 = "0wgh7vap0h6gkz6pk8iycvhwmybyxv25ssinwxxrnzk8jg25g89i";
sha256 = "0ir7rzr5479k7whgy0fx6bjj7x978ghx4fxc64i39hg2kzcp5dbi";
};
phases = [ "unpackPhase" "installPhase" ];