Index of /debian-ports/pool-x32/main/d/dgedit/

../
dgedit-dbgsym_0.10.0-2_x32.deb                     17-Nov-2022 18:03             4035864
dgedit_0.10.0-2_x32.buildinfo                      17-Nov-2022 18:03               11249
dgedit_0.10.0-2_x32.deb                            17-Nov-2022 18:03              203692