Index of /deb.debian.org/debian/pool/main/p/praelector/

../
praelector_0.5-2_amd64.deb                         21-Feb-2023 18:29             1858216
praelector_0.5-2_arm64.deb                         21-Feb-2023 18:29             1833668