debian/crafty.6
debian/craftyrc.5
