../ ediprolog-el_1.2-1.debian.tar.xz 23-Aug-2017 19:36 1636 ediprolog-el_1.2-1.dsc 23-Aug-2017 19:36 2008 ediprolog-el_1.2-2.debian.tar.xz 07-Feb-2019 12:00 1768 ediprolog-el_1.2-2.dsc 07-Feb-2019 12:00 1945 ediprolog-el_1.2.orig.tar.gz 23-Aug-2017 19:36 7568 elpa-ediprolog_1.2-1_all.deb 23-Aug-2017 19:36 10140 elpa-ediprolog_1.2-2_all.deb 07-Feb-2019 12:01 10508