Index of /debian/pool/main/d/dgedit

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]dgedit_0.10.0.orig.tar.gz2019-08-24 09:29 504K 
[   ]dgedit_0.10.0-2_amd64.deb2022-10-15 20:43 199K 
[TXT]dgedit_0.10.0-2.dsc2022-10-15 19:08 2.0K 
[   ]dgedit_0.10.0-2.debian.tar.xz2022-10-15 19:08 6.2K