../ chuffed-flatzinc_0.13.1-1_amd64.deb 03-May-2024 16:35 521096 chuffed_0.13.1-1.debian.tar.xz 03-May-2024 02:34 5008 chuffed_0.13.1-1.dsc 03-May-2024 02:34 1999 chuffed_0.13.1.orig.tar.xz 03-May-2024 02:34 2144212