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

../
jed-extra_2.5.7-2.debian.tar.xz                    25-Aug-2023 22:45               77996
jed-extra_2.5.7-2.dsc                              25-Aug-2023 22:45                1816
jed-extra_2.5.7-2_all.deb                          25-Aug-2023 22:45              450128
jed-extra_2.5.7-4.debian.tar.xz                    27-Aug-2023 04:05               83240
jed-extra_2.5.7-4.dsc                              27-Aug-2023 04:05                2149
jed-extra_2.5.7-4_all.deb                          27-Aug-2023 04:05              457628
jed-extra_2.5.7-9.debian.tar.xz                    16-Dec-2023 00:37               83452
jed-extra_2.5.7-9.dsc                              16-Dec-2023 00:37                2149
jed-extra_2.5.7-9_all.deb                          16-Dec-2023 00:37              455862
jed-extra_2.5.7.orig.tar.gz                        25-Aug-2023 22:45              567792