../ chuffed-flatzinc_0.13.1-1+b1_amd64.deb 07-Dec-2025 14:19 598504 chuffed-flatzinc_0.13.1-1+b1_arm64.deb 07-Dec-2025 14:19 542156 chuffed-flatzinc_0.13.1-1_armhf.deb 07-Dec-2025 14:19 509204 chuffed-flatzinc_0.13.1-1_riscv64.deb 07-Dec-2025 14:19 577660 chuffed_0.13.1-1.debian.tar.xz 07-Dec-2025 14:19 5008 chuffed_0.13.1-1.dsc 07-Dec-2025 14:19 1999 chuffed_0.13.1.orig.tar.xz 07-Dec-2025 14:19 2144212