../ ediprolog-el_1.2-2.debian.tar.xz 27-Mar-2020 22:03 1768 ediprolog-el_1.2-2.dsc 27-Mar-2020 22:03 1945 ediprolog-el_1.2.orig.tar.gz 27-Mar-2020 22:03 7568 elpa-ediprolog_1.2-2_all.deb 27-Mar-2020 22:03 10K