../ 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.orig.tar.gz 23-Aug-2017 19:36 7568 elpa-ediprolog_1.2-1_all.deb 23-Aug-2017 19:36 10140