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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
dgedit-dbgsym_0.10.0-2+b1_x32.deb3.9 MiB2024-May-06 15:03
dgedit_0.10.0-2+b1_x32.buildinfo11.8 KiB2024-May-06 15:03
dgedit_0.10.0-2+b1_x32.deb200.3 KiB2024-May-06 15:03