../ ediprolog-el_2.2-1.debian.tar.xz 18-Nov-2022 17:24 3276 ediprolog-el_2.2-1.dsc 18-Nov-2022 17:24 1948 ediprolog-el_2.2.orig.tar.gz 18-Nov-2022 17:24 46K ediprolog-el_2.3-1.debian.tar.xz 10-Nov-2024 17:46 3308 ediprolog-el_2.3-1.dsc 10-Nov-2024 17:46 1948 ediprolog-el_2.3.orig.tar.gz 10-Nov-2024 17:46 45K elpa-ediprolog_2.2-1_all.deb 21-Aug-2024 14:32 11K elpa-ediprolog_2.3-1_all.deb 22-May-2025 14:56 11K