Merge pull request #128487 from emmanuelrosa/jetty-cve

jetty: 9.4.39.v20210325 -> 9.4.41.v20210516
This commit is contained in:
Sandro 2021-06-30 01:48:39 +02:00 committed by GitHub
commit d2d1d3f189
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -2,10 +2,10 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "jetty"; pname = "jetty";
version = "9.4.39.v20210325"; version = "9.4.41.v20210516";
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";
sha256 = "0mn3ranh599w946cnykj7sbkj4w7ddpdhly7njmalsgabfbk8qv5"; sha256 = "sha256-hFQC1UiqZbbvyMf1FC3eqvVga3QdPWh0fbotatkVHBI=";
}; };
dontBuild = true; dontBuild = true;