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

	Name	Last modified	Size
	Parent Directory		-
	chuffed-flatzinc_0.13.1-1+b1_amd64.deb	26-Apr-2024 20:29	584K
	chuffed-flatzinc_0.13.1-1_i386.deb	26-Apr-2024 20:14	614K
	chuffed-flatzinc_0.13.1-1_riscv64.deb	26-Apr-2024 21:35	564K