Index of /ubuntu-ports/pool/universe/j/jed-extra/

../
jed-extra_2.5.7-2.debian.tar.xz                    30-Aug-2023 23:46               77996
jed-extra_2.5.7-2.dsc                              30-Aug-2023 23:46                1816
jed-extra_2.5.7-2_all.deb                          30-Aug-2023 23:46              450128
jed-extra_2.5.7-4.debian.tar.xz                    30-Aug-2023 23:46               83240
jed-extra_2.5.7-4.dsc                              30-Aug-2023 23:46                2149
jed-extra_2.5.7-4_all.deb                          30-Aug-2023 23:46              457628
jed-extra_2.5.7-9.debian.tar.xz                    16-Dec-2023 01:07               83452
jed-extra_2.5.7-9.dsc                              16-Dec-2023 01:07                2149
jed-extra_2.5.7-9_all.deb                          16-Dec-2023 01:07              455862
jed-extra_2.5.7.orig.tar.gz                        30-Aug-2023 23:46              567792