../ ediprolog-el_2.3-1.debian.tar.xz 10-Aug-2026 21:06 3308 ediprolog-el_2.3-1.dsc 10-Aug-2026 21:06 1948 ediprolog-el_2.3.orig.tar.gz 10-Aug-2026 21:06 45K elpa-ediprolog_2.3-1_all.deb 10-Aug-2026 21:08 11K