../ ediprolog-el_1.2-2.debian.tar.xz 11-Apr-2020 05:58 1768 ediprolog-el_1.2-2.dsc 11-Apr-2020 05:58 1945 ediprolog-el_1.2.orig.tar.gz 11-Apr-2020 05:58 7568 elpa-ediprolog_1.2-2_all.deb 11-Apr-2020 05:58 10508