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

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      praelector_0.5-3_amd64.deb             2024-05-10 18:15  1.8M  
      praelector_0.5-2ubuntu2_amd64.deb      2024-04-01 06:32  1.8M  
      praelector_0.5-1build1_amd64.deb       2020-03-23 04:04  1.8M