diff options
Diffstat (limited to 'japanese/dvi2tty/distinfo')
| -rw-r--r-- | japanese/dvi2tty/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/japanese/dvi2tty/distinfo b/japanese/dvi2tty/distinfo index e1b151c..f64663d 100644 --- a/japanese/dvi2tty/distinfo +++ b/japanese/dvi2tty/distinfo @@ -1,3 +1,6 @@ MD5 (dvi2tty5.0.tar.gz) = 0113d7328fe9e227d94d44f8ea7f29be +SIZE (dvi2tty5.0.tar.gz) = 29087 MD5 (dvi2tty-ascii-jtex-patch) = cb0a4cd02a6c4fb7b68d684c343847b9 +SIZE (dvi2tty-ascii-jtex-patch) = 10270 MD5 (dvi2tty.c-patch) = 3766e59036d8bdd044fe302cef0d37d2 +SIZE (dvi2tty.c-patch) = 898 |
