../ chuffed-flatzinc_0.13.1-1+b1_amd64.deb 26-Apr-2024 18:29 598504 chuffed-flatzinc_0.13.1-1_loong64.deb 22-Dec-2025 09:35 560492 chuffed-flatzinc_0.13.1-1_riscv64.deb 26-Apr-2024 19:35 577660