../ jed-extra_2.5.6-3.debian.tar.xz 27-Sep-2017 15:15 21K jed-extra_2.5.6-3.dsc 27-Sep-2017 15:15 1914 jed-extra_2.5.6-3_all.deb 27-Sep-2017 13:26 457K jed-extra_2.5.6.orig.tar.gz 27-Sep-2017 15:15 552K