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

../
jetty12_12.0.17-3.1~deb13u1_all.deb                21-Sep-2025 18:20              593240
libjetty12-extra-java_12.0.17-3.1~deb13u1_all.deb  21-Sep-2025 18:20              957064
libjetty12-java_12.0.17-3.1~deb13u1_all.deb        21-Sep-2025 18:20             3982008