Index of /archive.ubuntu.com/ubuntu/pool/universe/j/jed-extra/

../
jed-extra_2.5.7-9.debian.tar.xz                    13-Dec-2022 20:19     81K
jed-extra_2.5.7-9.dsc                              13-Dec-2022 20:19    2149
jed-extra_2.5.7-9_all.deb                          13-Dec-2022 20:44    445K
jed-extra_2.5.7.orig.tar.gz                        25-Jul-2016 14:40    554K