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


../
jetty12_12.0.17-3.1~deb13u1_all.deb                23-Oct-2026 19:26              593240
libjetty12-extra-java_12.0.17-3.1~deb13u1_all.deb  23-Oct-2026 18:24              957064
libjetty12-java_12.0.17-3.1~deb13u1_all.deb        23-Oct-2026 19:08             3982008