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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
dgedit_0.10.0-2+b1_x32.buildinfo11.8 KiB06.05.2024 06:03
dgedit_0.10.0-2+b1_x32.deb200.3 KiB06.05.2024 06:03
dgedit-dbgsym_0.10.0-2+b1_x32.deb3.9 MiB06.05.2024 06:03