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

jetty: 11.0.16 -> 12.0.1
This commit is contained in:
Ryan Mulligan 2023-10-10 08:18:12 -07:00 committed by GitHub
commit b1482f776d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,10 +2,10 @@
stdenv.mkDerivation rec {
pname = "jetty";
version = "11.0.16";
version = "12.0.1";
src = fetchurl {
url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz";
hash = "sha256-iL1s4o/1Hds0N/fzXgwOMriPtZNG7ei2t4frF1ImW+E=";
hash = "sha256-7nCai6S3eNly83aUQf0tiLTe+k3ih0cJnGqQvi143LI=";
};
dontBuild = true;