jetty: 12.0.1 -> 12.0.2

Fixes CVE-2023-44487.

https://github.com/jetty/jetty.project/releases/tag/jetty-12.0.2
This commit is contained in:
Thomas Gerbet 2023-10-22 14:33:45 +02:00
parent a662970807
commit 1fd6d6120b

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;