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

	Name	Last modified	Size

	Parent Directory		-
	chuffed-flatzinc_0.13.1-1+b1_amd64.deb	2024-04-26 18:29	584K

Apache/2.4.62 (Debian) Server at 150.243.162.22 Port 80