3 Commits

Author SHA1 Message Date
sthen
3318ced016 replace simple PERMIT_PACKAGE_CDROM=Yes with PERMIT_PACKAGE=Yes 2019-07-12 20:46:54 +00:00
chrisz
b438efbd00 Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
2019-03-04 12:51:12 +00:00
chrisz
a998d40574 Import math/ocaml-num, the deprecated arbitrary precision library formerly
distributed with the OCaml compiler distribution.
Needed to build mldonkey.
Marked as BROKEN till the next OCaml upgrade.

OK jca@
2018-07-11 15:10:47 +00:00