Index of /ubuntu/pool/universe/d/dgedit

 Name                                 Last modified      Size  
 Parent Directory                                          -   
 dgedit_0.10.0-1build1.debian.tar.xz  2020-03-23 07:59  3.1K  
 dgedit_0.10.0-1build1.dsc            2020-03-23 07:59  2.0K  
 dgedit_0.10.0-2build3.debian.tar.xz  2024-04-08 17:19  6.4K  
 dgedit_0.10.0-2build3.dsc            2024-04-08 17:19  2.1K  
 dgedit_0.10.0-2build3_amd64.deb      2024-04-08 17:21  198K  
 dgedit_0.10.0.orig.tar.gz            2019-10-25 22:05  504K  
 dgedit_0~git20160401-1.debian.tar.xz 2016-04-27 00:07  3.4K  
 dgedit_0~git20160401-1.dsc           2016-04-27 00:07  2.0K  
 dgedit_0~git20160401-1_amd64.deb     2016-04-27 03:35   73K  
 dgedit_0~git20160401.orig.tar.xz     2016-04-27 00:07   51K  

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