jetty 12.0.1 -> 12.0.2 https://repology.org/project/jetty/versions attrpath: jetty Checking auto update branch... No auto update branch exists Old version 12.0.1" not present in master derivation file with contents: { lib, stdenv, fetchurl }: stdenv.mkDerivation rec { pname = "jetty"; version = "12.0.2"; src = fetchurl { url = "mirror://maven/org/eclipse/jetty/jetty-home/${version}/jetty-home-${version}.tar.gz"; hash = "sha256-DtlHTXjbr31RmK6ycDdiWOL7jIpbWNh0la90OnOhzvM="; }; 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://www.eclipse.org/jetty/"; platforms = platforms.all; sourceProvenance = with sourceTypes; [ binaryBytecode ]; license = with licenses; [ asl20 epl10 ]; maintainers = with maintainers; [ emmanuelrosa ]; }; }