../ ediprolog-el_2.2-1.debian.tar.xz 14-Aug-2026 19:02 3276 ediprolog-el_2.2-1.dsc 14-Aug-2026 19:02 1948 ediprolog-el_2.2.orig.tar.gz 14-Aug-2026 19:02 46K elpa-ediprolog_2.2-1_all.deb 14-Aug-2026 19:05 11K