MD5 (crafty/crafty-19.1.tar.gz) = d0696d10dbe7974beaa2161cde62d191
MD5 (crafty/start.pgn.gz) = c3c54b29351408298e3c7548f4faed93
MD5 (crafty/crafty.doc.ascii) = 5fd73027a1de1674763562e1987197ba
MD5 (crafty/crafty.doc.ps) = 6cef69aa2f9ea1ceb74b6c14edc8291f