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

	Name	Last modified	Size	Description
	Parent Directory		-
	jetty12_12.0.17-3.1_all.deb	2025-09-07 06:58	579K
	libjetty12-extra-java_12.0.17-3.1_all.deb	2025-09-07 06:58	935K
	libjetty12-java_12.0.17-3.1_all.deb	2025-09-07 06:58	3.8M