Index of /pool/non-free/c/crafty

	Name	Last modified	Size
	Parent Directory		-
	crafty_23.4-7.debian.tar.xz	2017-01-11 20:15	47K
	crafty_23.4-7.dsc	2017-01-11 20:15	1.3K
	crafty_23.4.orig.tar.gz	2011-01-12 11:47	400K