Index of /pub/gwdg/ubuntu/22.04/pool/universe/d/dgedit/

../
dgedit_0.10.0-1build1_amd64.deb                    23-Mar-2020 07:09              212556