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

	Name	Last modified	Size	Description
	Parent Directory		-
	jetty12_12.0.33-1_all.deb	2026-03-13 10:07	757K
	libjetty12-extra-java_12.0.33-1_all.deb	2026-03-13 10:07	27M
	libjetty12-java_12.0.33-1_all.deb	2026-03-13 10:07	4.4M