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

 Name                            Last modified      Size  
 Parent Directory                                     -   
 jed-extra_2.5.7-2.debian.tar.xz 2016-11-02 04:51   76K  
 jed-extra_2.5.7-2.dsc           2016-11-02 04:51  1.8K  
 jed-extra_2.5.7-2_all.deb       2016-11-02 13:34  440K  
 jed-extra_2.5.7-4.debian.tar.xz 2021-11-21 18:19   81K  
 jed-extra_2.5.7-4.dsc           2021-11-21 18:19  2.1K  
 jed-extra_2.5.7-4_all.deb       2021-11-21 18:39  447K  
 jed-extra_2.5.7-9.debian.tar.xz 2022-12-13 18:19   81K  
 jed-extra_2.5.7-9_all.deb       2022-12-13 18:44  445K  
 jed-extra_2.5.7.orig.tar.gz     2016-07-25 13:40  554K  

This mirror is brought to you by HR-Tech and Heiko Richter.