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

	Name	Last modified	Size	Description
	Parent Directory		-
	crafty_23.4.orig.tar.gz	2011-01-12 10:47	400K
	crafty_23.4-7_amd64.deb	2017-01-11 21:27	377K
	crafty_23.4-7.debian.tar.xz	2017-01-11 19:15	47K
	crafty_23.4-7.dsc	2017-01-11 19:15	1.3K