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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
chuffed_0.13.1-1_x32.buildinfo6.8 KiB2024-May-06 14:03
chuffed-flatzinc_0.13.1-1_x32.deb558.1 KiB2024-May-06 14:03
chuffed-flatzinc-dbgsym_0.13.1-1_x32.deb6.3 MiB2024-May-06 14:03