../ ediprolog-el_2.2-1.debian.tar.xz 20-Apr-2023 12:44 3276 ediprolog-el_2.2-1.dsc 20-Apr-2023 12:44 1948 ediprolog-el_2.2.orig.tar.gz 20-Apr-2023 12:44 47346 ediprolog-el_2.3-1.debian.tar.xz 06-Aug-2025 12:30 3308 ediprolog-el_2.3-1.dsc 06-Aug-2025 12:30 1948 ediprolog-el_2.3.orig.tar.gz 06-Aug-2025 12:30 46507 elpa-ediprolog_2.2-1_all.deb 20-Apr-2023 12:44 10808 elpa-ediprolog_2.3-1_all.deb 06-Aug-2025 12:30 11144