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

jetty: 11.0.13 -> 11.0.14
This commit is contained in:
Weijia Wang 2023-04-27 21:32:48 +03:00 committed by GitHub
commit 5645de8e6d
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.13";
version = "11.0.14";
src = fetchurl {
url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz";
sha256 = "sha256-RZryj2AJKKv13iwRBVwushOpPFLUj7wd4JIgJ6JVIz4=";
sha256 = "sha256-lmS9B5dXJAc9j/RVs2sqMRaj1C5CN2trTszUXfPfHI4=";
};
dontBuild = true;