Index of /pub/linux/debian-amd64/pool/non-free/c/crafty/

Filename	Modification time	Size
crafty_19.15-1.diff.gz	2004-08-01 12:47 CEST	113 KiB
crafty_19.15-1.dsc	2004-08-01 12:47 CEST	607 B
crafty_19.15-1_amd64.deb	2005-05-09 23:44 CEST	330 KiB
crafty_19.15.orig.tar.gz	2005-05-09 23:44 CEST	384 KiB