../ praelector_0.1-1.debian.tar.xz 15-Nov-2018 17:29 5556 praelector_0.1-1.dsc 15-Nov-2018 17:29 1936 praelector_0.1.orig.tar.xz 15-Nov-2018 17:29 1683160 praelector_0.2-1.debian.tar.xz 15-Nov-2018 17:29 4684 praelector_0.2-1.dsc 15-Nov-2018 17:29 1936 praelector_0.2.orig.tar.xz 15-Nov-2018 17:29 1699992 praelector_0.5-1.debian.tar.xz 16-Nov-2018 23:21 5448 praelector_0.5-1.dsc 16-Nov-2018 23:21 1936 praelector_0.5.orig.tar.xz 16-Nov-2018 23:21 1709244