ediprolog-el_2.3-1.debian.tar.xz
ediprolog-el_2.3-1.dsc
ediprolog-el_2.3.orig.tar.gz
elpa-ediprolog_2.3-1_all.deb