../ crafty_23.4-7.debian.tar.xz 11-Jan-2017 20:15 47K crafty_23.4-7.dsc 11-Jan-2017 20:15 1362 crafty_23.4-7_amd64.deb 11-Jan-2017 22:27 377K crafty_23.4.orig.tar.gz 12-Jan-2011 11:47 400K