jetty: 9.3.10.v20160621 -> 9.4.8.v20171121

This commit is contained in:
Yorick van Pelt 2018-04-12 16:27:01 +02:00
parent d803c60f72
commit 28a74fa109
No known key found for this signature in database
GPG Key ID: D8D3CC6D951384DE

@ -2,19 +2,18 @@
stdenv.mkDerivation rec {
name = "jetty-${version}";
version = "9.3.10.v20160621";
version = "9.4.8.v20171121";
src = fetchurl {
url = "http://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
name = "jetty-distribution-${version}.tar.gz";
sha256 = "0xqv7bp82i95gikma70kyi91nlgsj5zabzg59ly9ga4mqf5y0zbz";
sha256 = "0bvwi70vdk468yqgvgq99lwrpy2y5znrl0b1cr8j6ygmsgnvvmjh";
};
phases = [ "unpackPhase" "installPhase" ];
installPhase = ''
mkdir -p $out
mv etc lib modules start.jar $out
mv etc lib modules start.ini start.jar $out
'';
meta = {