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

      Name                                    Last modified      Size  
      Parent Directory                                             -   
      libjetty12-java_12.0.17-3_all.deb       2025-04-14 16:07  3.8M  
      libjetty12-extra-java_12.0.17-3_all.deb 2025-04-14 16:07  935K  
      jetty12_12.0.17-3_all.deb               2025-04-14 16:07  579K  
      jetty12_12.0.17-3.dsc                   2025-04-14 15:42  3.1K  
      jetty12_12.0.17-3.debian.tar.xz         2025-04-14 15:42   28K  
      jetty12_12.0.17.orig.tar.xz             2025-02-19 12:07   16M