Index of /pub/debian/pool/main/c/chuffed/


../
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