Merge pull request #120834 from emmanuelrosa/jetty-9.4.39

jetty: 9.4.37.v20210219 -> 9.4.39.v20210325
This commit is contained in:
Sandro 2021-04-27 14:18:11 +02:00 committed by GitHub
commit 0893b15cec
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 = "9.4.37.v20210219";
version = "9.4.39.v20210325";
src = fetchurl {
url = "https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
sha256 = "sha256-Jyg0cQBnwYtcVJnr2uWwE/9yC3wq+CLTTGKtv3BsZs8=";
sha256 = "0mn3ranh599w946cnykj7sbkj4w7ddpdhly7njmalsgabfbk8qv5";
};
dontBuild = true;
@ -15,10 +15,11 @@ stdenv.mkDerivation rec {
mv etc lib modules start.ini start.jar $out
'';
meta = {
meta = with lib; {
description = "A Web server and javax.servlet container";
homepage = "https://www.eclipse.org/jetty/";
platforms = lib.platforms.all;
license = [ lib.licenses.asl20 lib.licenses.epl10 ];
platforms = platforms.all;
license = with licenses; [ asl20 epl10 ];
maintainers = with maintainers; [ emmanuelrosa ];
};
}