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

jetty: 11.0.14 -> 11.0.15
This commit is contained in:
Weijia Wang 2023-06-04 18:57:09 +02:00 committed by GitHub
commit d96e4915e8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,10 +2,10 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "jetty"; pname = "jetty";
version = "11.0.14"; version = "11.0.15";
src = fetchurl { src = fetchurl {
url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz"; url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz";
sha256 = "sha256-lmS9B5dXJAc9j/RVs2sqMRaj1C5CN2trTszUXfPfHI4="; sha256 = "sha256-bDg3CYPAGryqRv/gcPdeZKucXx6YTkkNd0Cu1+zIjto=";
}; };
dontBuild = true; dontBuild = true;