jetty 12.0.3 -> 12.0.4 https://repology.org/project/jetty/versions attrpath: jetty Checking auto update branch... No auto update branch exists Old version 12.0.3" not present in master derivation file with contents: { version, hash }: { lib, stdenv, fetchurl }: stdenv.mkDerivation rec { pname = "jetty"; inherit version; src = fetchurl { url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz"; inherit hash; }; dontBuild = true; installPhase = '' mkdir -p $out mv etc lib modules start.jar $out ''; meta = with lib; { description = "A Web server and javax.servlet container"; homepage = "https://eclipse.dev/jetty/"; platforms = platforms.all; sourceProvenance = with sourceTypes; [ binaryBytecode ]; license = with licenses; [ asl20 epl10 ]; maintainers = with maintainers; [ emmanuelrosa anthonyroussel ]; }; }