../ jed-extra_2.5.7-2.debian.tar.xz 24-Apr-2019 17:26 76K jed-extra_2.5.7-2.dsc 24-Apr-2019 17:26 1816 jed-extra_2.5.7-2_all.deb 24-Apr-2019 17:26 468K jed-extra_2.5.7.orig.tar.gz 24-Apr-2019 17:26 554K