../ ediprolog-el_1.2-2.debian.tar.xz 11-Apr-2022 12:35 1768 ediprolog-el_1.2-2.dsc 11-Apr-2022 12:35 1945 ediprolog-el_1.2.orig.tar.gz 11-Apr-2022 12:35 7568 elpa-ediprolog_1.2-2_all.deb 11-Apr-2022 12:06 10K