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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
chuffed_0.13.1-1_sh4.buildinfo6.6 KiB27.04.2024 00:03
chuffed-flatzinc_0.13.1-1_sh4.deb563.9 KiB27.04.2024 00:03
chuffed-flatzinc-dbgsym_0.13.1-1_sh4.deb4.9 MiB27.04.2024 00:03