../ ediprolog-el_2.1.orig.tar.gz 15-Aug-2020 13:51 7835 ediprolog-el_2.2.orig.tar.gz 18-Nov-2022 10:31 46K ediprolog-el_2.3.orig.tar.gz 10-Nov-2024 08:54 45K elpa-ediprolog_2.1-1_all.deb 15-Aug-2020 14:56 10K elpa-ediprolog_2.2-1_all.deb 18-Nov-2022 10:57 11K elpa-ediprolog_2.3-1_all.deb 10-Nov-2024 09:14 11K