Index of /deb.debian.org/debian/pool/main/d/dgedit/

../
dgedit_0.10.0-2_amd64.deb                          15-Oct-2022 20:43              203960
dgedit_0.10.0-2_arm64.deb                          15-Oct-2022 20:43              193868