../ crafty_23.4-7.debian.tar.xz 11-Jan-2017 19:15 48632 crafty_23.4-7.dsc 11-Jan-2017 19:15 1362 crafty_23.4.orig.tar.gz 12-Jan-2011 10:47 409602