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

jetty: 9.4.36.v20210114 -> 9.4.37.v20210219
This commit is contained in:
Mario Rodas 2021-02-24 21:52:17 -05:00 committed by GitHub
commit 46a4f1ce5e
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 {
pname = "jetty";
version = "9.4.36.v20210114";
version = "9.4.37.v20210219";
src = fetchurl {
url = "https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
sha256 = "1bsqxzjcdgdg2qdgc64pvrimkn9j2di2s3prlgdpbwi566744q54";
sha256 = "sha256-Jyg0cQBnwYtcVJnr2uWwE/9yC3wq+CLTTGKtv3BsZs8=";
};
dontBuild = true;