../ jetty12_12.0.17-3.1~deb13u1.debian.tar.xz 18-Sep-2025 12:47 30372 jetty12_12.0.17-3.1~deb13u1.dsc 18-Sep-2025 12:47 3160 jetty12_12.0.17-3.1~deb13u1_all.deb 18-Sep-2025 13:07 593240 jetty12_12.0.17.orig.tar.xz 18-Sep-2025 12:47 16384452 libjetty12-extra-java_12.0.17-3.1~deb13u1_all.deb 18-Sep-2025 13:07 957064 libjetty12-java_12.0.17-3.1~deb13u1_all.deb 18-Sep-2025 13:07 3982008