Index of /debian/pool/main/j/jetty12
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
jetty12_12.0.17-3.1.debian.tar.xz 2025-09-05 15:20 30K
![[TXT]](/icons/text.gif)
jetty12_12.0.17-3.1.dsc 2025-09-05 15:20 3.1K
jetty12_12.0.17-3.1_all.deb 2025-09-07 09:58 579K
jetty12_12.0.17-3.1~deb13u1.debian.tar.xz 2025-09-18 07:47 30K
jetty12_12.0.17-3.1~deb13u1.dsc 2025-09-18 07:47 3.1K
jetty12_12.0.17-3.1~deb13u1_all.deb 2025-09-18 08:07 579K
jetty12_12.0.17.orig.tar.xz 2025-02-19 12:07 16M
libjetty12-extra-java_12.0.17-3.1_all.deb 2025-09-07 09:58 935K
libjetty12-extra-java_12.0.17-3.1~deb13u1_all.deb 2025-09-18 08:07 935K
libjetty12-java_12.0.17-3.1_all.deb 2025-09-07 09:58 3.8M
libjetty12-java_12.0.17-3.1~deb13u1_all.deb 2025-09-18 08:07 3.8M