diff options
Diffstat (limited to 'lang/ocaml/distinfo')
| -rw-r--r-- | lang/ocaml/distinfo | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/ocaml/distinfo b/lang/ocaml/distinfo index b63ee0e16de6..75273c27c39a 100644 --- a/lang/ocaml/distinfo +++ b/lang/ocaml/distinfo @@ -1,2 +1,4 @@ MD5 (ocaml-3.07.tar.gz) = 2dd038055f5e1350078ad81270411b78 +SIZE (ocaml-3.07.tar.gz) = 2537449 MD5 (ocaml-3.07-patch2.diffs) = f91d1f1e531f77011bd554817dbbc12a +SIZE (ocaml-3.07-patch2.diffs) = 42799 |