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

      Name                                              Last modified      Size  
      Parent Directory                                                       -   
      jetty12_12.0.17.orig.tar.xz                       2025-02-19 12:07   16M  
      jetty12_12.0.17-3.1.debian.tar.xz                 2025-09-05 15:20   30K  
      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  
      libjetty12-extra-java_12.0.17-3.1_all.deb         2025-09-07 09:58  935K  
      libjetty12-java_12.0.17-3.1_all.deb               2025-09-07 09:58  3.8M  
      jetty12_12.0.17-3.1~deb13u1.dsc                   2025-09-18 07:47  3.1K  
      jetty12_12.0.17-3.1~deb13u1.debian.tar.xz         2025-09-18 07:47   30K  
      jetty12_12.0.17-3.1~deb13u1_all.deb               2025-09-18 08:07  579K  
      libjetty12-extra-java_12.0.17-3.1~deb13u1_all.deb 2025-09-18 08:07  935K  
      libjetty12-java_12.0.17-3.1~deb13u1_all.deb       2025-09-18 08:07  3.8M