Index of /debian-ports/pool/main/j/jetty12

	Name	Last modified	Size	Description
	Parent Directory		-
	jetty12_12.0.17-3_all.deb	2025-04-14 13:07	579K
	libjetty12-extra-java_12.0.17-3_all.deb	2025-04-14 13:07	935K
	libjetty12-java_12.0.17-3_all.deb	2025-04-14 13:07	3.8M