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

jetty: 9.4.31.v20200723 -> 9.4.34.v20201102
This commit is contained in:
Mario Rodas 2020-11-14 06:02:53 -05:00 committed by GitHub
commit c8009699e5
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.31.v20200723";
version = "9.4.34.v20201102";
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 = "1j1dhlrlj7xnijp55c1hd9r47m6bq37vpjkaf8f9fg7q9m2z9x6x";
sha256 = "0c5zsnzcg2bz6z1s6hdzwzn813cgs26h1hwjjfhh1msfzyig30ma";
};
phases = [ "unpackPhase" "installPhase" ];