diff options
Diffstat (limited to 'devel/camlp4/distinfo')
| -rw-r--r-- | devel/camlp4/distinfo | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/devel/camlp4/distinfo b/devel/camlp4/distinfo index 32ee76dcdc35..1328898568d5 100644 --- a/devel/camlp4/distinfo +++ b/devel/camlp4/distinfo @@ -1,5 +1,10 @@ MD5 (camlp4-3.06.tar.gz) = 4f0bd2797a76162c5b75ed961bd13e5e +SIZE (camlp4-3.06.tar.gz) = 306331 MD5 (camlp4-3.06-manual.html.tar.gz) = 21370bae4e7f6435b38aeb21db7ce8bb +SIZE (camlp4-3.06-manual.html.tar.gz) = 40920 MD5 (camlp4-3.06-manual.ps.gz) = 9e63aa74f8632e421a503693e732473a +SIZE (camlp4-3.06-manual.ps.gz) = 103119 MD5 (camlp4-3.06-tutorial.html.tar.gz) = 96d8eb4ca5abd58c9a280ba59f73b192 +SIZE (camlp4-3.06-tutorial.html.tar.gz) = 40230 MD5 (camlp4-3.06-tutorial.ps.gz) = 2542e23effc18a75669b6e923eef9082 +SIZE (camlp4-3.06-tutorial.ps.gz) = 126386 |