Ticket #2351 (closed defect: fixed)
UPDATE: coq 8.0pl1
|Reported by:||reilles@…||Owned by:||mww@…|
The ocaml guys commited a version with breaks coq. Hopefully, there is a patch for it. I modified the portfile to fetch and apply the patch, and it builds fine.
This patch will have to be removed with the future ocaml version, since they should fix things