../ chuffed-flatzinc-dbgsym_0.13.1-1_hppa.deb 27-Apr-2024 09:03 6M chuffed-flatzinc_0.13.1-1_hppa.deb 27-Apr-2024 09:03 550K chuffed_0.13.1-1_hppa.buildinfo 27-Apr-2024 09:03 6931