../ ediprolog-el_2.2-1.debian.tar.xz 18-Nov-2022 17:31 3276 ediprolog-el_2.2-1.dsc 18-Nov-2022 17:31 1948 ediprolog-el_2.2.orig.tar.gz 18-Nov-2022 17:31 46K elpa-ediprolog_2.2-1_all.deb 18-Nov-2022 17:57 11K