diff options
Diffstat (limited to 'games/crafty')
| -rw-r--r-- | games/crafty/distinfo | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/games/crafty/distinfo b/games/crafty/distinfo index 78edd1d74620..a108631f2851 100644 --- a/games/crafty/distinfo +++ b/games/crafty/distinfo @@ -1,4 +1,8 @@ MD5 (crafty/crafty-19.1.tar.gz) = d0696d10dbe7974beaa2161cde62d191 +SIZE (crafty/crafty-19.1.tar.gz) = 368826 MD5 (crafty/start.pgn.gz) = c3c54b29351408298e3c7548f4faed93 +SIZE (crafty/start.pgn.gz) = 312 MD5 (crafty/crafty.doc.ascii) = 5fd73027a1de1674763562e1987197ba +SIZE (crafty/crafty.doc.ascii) = 79678 MD5 (crafty/crafty.doc.ps) = 6cef69aa2f9ea1ceb74b6c14edc8291f +SIZE (crafty/crafty.doc.ps) = 141725 |