/debian-ports/pool-x32/main/c/chuffed/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
chuffed-flatzinc-dbgsym_0.13.1-1_x32.deb6.3 MiB06.05.2024 06:03
chuffed-flatzinc_0.13.1-1_x32.deb558.1 KiB06.05.2024 06:03
chuffed_0.13.1-1_x32.buildinfo6.8 KiB06.05.2024 06:03