Index of /dev/pool/main/p/praelector/

../
praelector_0.5-2.debian.tar.xz                     21-Feb-2023 17:53                5664
praelector_0.5-2.dsc                               21-Feb-2023 17:53                1972
praelector_0.5-2_amd64.deb                         21-Feb-2023 18:29             1858216
praelector_0.5.orig.tar.xz                         16-Nov-2018 17:21             1709244