Index of /pub/gnu_linux/ubuntu/pool/universe/p/papilo

      Name                                    Last modified      Size  Description
      Parent Directory                                             -   
      papilo_2.4.1+ds-1_amd64.deb             2025-02-11 06:24  1.6M  
      libpapilo-dev_2.4.1+ds-1_amd64.deb      2025-02-11 06:24  175K  
      libpapilo-core0d_2.4.1+ds-1_amd64.deb   2025-02-11 06:24  1.0M  
      libpapilo-clusol0d_2.4.1+ds-1_amd64.deb 2025-02-11 06:24   73K