../ praelector_0.5-1.debian.tar.xz 16-Nov-2018 17:21 5448 praelector_0.5-1.dsc 16-Nov-2018 17:21 1936 praelector_0.5-1_amd64.deb 16-Nov-2018 17:21 1871584 praelector_0.5.orig.tar.xz 16-Nov-2018 17:21 1709244