Merge pull request #262736 from LeSuisse/jetty-12.0.2

jetty: 12.0.1 -> 12.0.2
This commit is contained in:
Robert Scott 2023-10-28 13:31:45 +01:00 committed by GitHub
commit 8beb9b5a60
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 = "12.0.1";
version = "12.0.2";
src = fetchurl {
url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz";
hash = "sha256-7nCai6S3eNly83aUQf0tiLTe+k3ih0cJnGqQvi143LI=";
hash = "sha256-DtlHTXjbr31RmK6ycDdiWOL7jIpbWNh0la90OnOhzvM=";
};
dontBuild = true;