4 lines
222 B
Text
4 lines
222 B
Text
MD5 (ocaml-3.08-refman.html.tar.gz) = 0daee5643db6960682c1a7d84467885f
|
|
SIZE (ocaml-3.08-refman.html.tar.gz) = 488999
|
|
MD5 (ocaml-3.08-refman.ps.gz) = 35a5d4318456c0982e72ee3f33364bf5
|
|
SIZE (ocaml-3.08-refman.ps.gz) = 585397
|