/debian-ports/pool-x32/main/g/gnubg/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
gnubg_1.07.001-3+b5_x32.deb1.0 MiB24.06.2024 18:03
gnubg_1.07.001-3+b5_x32.buildinfo15.5 KiB24.06.2024 18:03
gnubg-dbgsym_1.07.001-3+b5_x32.deb2.0 MiB24.06.2024 18:03