../ ediprolog-el_1.2-2.debian.tar.xz 02-Feb-2019 08:01 1768 ediprolog-el_1.2-2.dsc 02-Feb-2019 08:01 1945 ediprolog-el_1.2.orig.tar.gz 23-Aug-2017 16:36 7568 elpa-ediprolog_1.2-2_all.deb 02-Feb-2019 08:01 10508