../ ediprolog-el_2.2-1.debian.tar.xz 18-Nov-2022 10:31 3276 ediprolog-el_2.2-1.dsc 18-Nov-2022 10:31 1948 ediprolog-el_2.2.orig.tar.gz 18-Nov-2022 10:31 47346 ediprolog-el_2.3-1.debian.tar.xz 07-Dec-2025 20:24 3308 ediprolog-el_2.3-1.dsc 07-Dec-2025 20:24 1948 ediprolog-el_2.3.orig.tar.gz 07-Dec-2025 20:24 46507 elpa-ediprolog_2.2-1_all.deb 18-Nov-2022 10:57 10808 elpa-ediprolog_2.3-1_all.deb 07-Dec-2025 20:24 11144