../ jetty12_12.0.17-3.1~deb13u1.debian.tar.xz 20-Sep-2025 04:42 30372 jetty12_12.0.17-3.1~deb13u1.dsc 20-Sep-2025 04:42 3160 jetty12_12.0.17-3.1~deb13u1_all.deb 20-Sep-2025 04:42 593240 jetty12_12.0.17.orig.tar.xz 20-Sep-2025 04:42 16384452 libjetty12-extra-java_12.0.17-3.1~deb13u1_all.deb 20-Sep-2025 04:42 957064 libjetty12-java_12.0.17-3.1~deb13u1_all.deb 20-Sep-2025 04:42 3982008