Index of /dev/debian/pool/main/j/jetty12/

../
jetty12_12.0.17-3.1~deb13u1_all.deb                28-Aug-2026 18:11    579K
libjetty12-extra-java_12.0.17-3.1~deb13u1_all.deb  28-Aug-2026 18:11    935K
libjetty12-java_12.0.17-3.1~deb13u1_all.deb        28-Aug-2026 18:11      4M