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

---

../
dgedit_0.10.0-1build1_arm64.deb                    23-Mar-2020 08:04    195K

---