../ ediprolog-el_2.2-1.debian.tar.xz 31-Jul-2024 12:02 3276 ediprolog-el_2.2-1.dsc 31-Jul-2024 12:02 1948 ediprolog-el_2.2.orig.tar.gz 31-Jul-2024 12:02 47346 elpa-ediprolog_2.2-1_all.deb 31-Jul-2024 12:27 10808