Merge #132287: jetty: 9.4.41.v20210516 -> 9.4.43.v20210629

...into release-21.05
This commit is contained in:
Vladimír Čunát 2021-09-13 10:53:15 +02:00
commit 9a3277af47
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -2,10 +2,10 @@
stdenv.mkDerivation rec {
pname = "jetty";
version = "9.4.41.v20210516";
version = "9.4.43.v20210629";
src = fetchurl {
url = "https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
sha256 = "sha256-hFQC1UiqZbbvyMf1FC3eqvVga3QdPWh0fbotatkVHBI=";
sha256 = "sha256-AfrmVLCZMuRGAZqoWeevbgXifbreErVM17rjJJ/HI9k=";
};
dontBuild = true;