Index of /dev/pool/main/d/dgedit/


../
dgedit_0.10.0-2.debian.tar.xz                      15-Oct-2022 19:08                6324
dgedit_0.10.0-2.dsc                                15-Oct-2022 19:08                2030
dgedit_0.10.0-2_amd64.deb                          15-Oct-2022 20:43              203960
dgedit_0.10.0.orig.tar.gz                          24-Aug-2019 09:29              515934