../ ediprolog-el_1.2-1.debian.tar.xz 01-Nov-2017 13:57 1636 ediprolog-el_1.2-1.dsc 01-Nov-2017 13:57 2008 ediprolog-el_1.2-2.debian.tar.xz 02-Feb-2019 17:13 1768 ediprolog-el_1.2-2.dsc 02-Feb-2019 17:13 1945 ediprolog-el_1.2.orig.tar.gz 01-Nov-2017 13:57 7568 elpa-ediprolog_1.2-1_all.deb 03-Nov-2017 06:55 10260 elpa-ediprolog_1.2-2_all.deb 02-Feb-2019 17:18 10556