../ chuffed-flatzinc_0.13.1-1+b1_amd64.deb 26-Apr-2024 18:29 598504 chuffed-flatzinc_0.13.1-1_i386.deb 26-Apr-2024 18:14 628580 chuffed-flatzinc_0.13.1-1_riscv64.deb 26-Apr-2024 19:35 577660