mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-27 05:10:36 +00:00
112693f387
PR: ports/69255 Submitted by: Eugene Ossintsev (maintainer)
5 lines
222 B
Plaintext
5 lines
222 B
Plaintext
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
|