Index of /argostmp/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.orig.tar.gz                          24-Aug-2019 09:29              515934