Index of /archive/pool/universe/j/jetty12

	Name	Last modified	Size
	Parent Directory		-
	jetty12_12.0.17-3.debian.tar.xz	01-May-2025 19:04	28K
	jetty12_12.0.17-3.dsc	01-May-2025 19:04	3.1K
	jetty12_12.0.17.orig.tar.xz	01-May-2025 19:04	16M