[MacPorts] #66495: ocaml: update to 5.0.0

[MacPorts]

#66495: ocaml: update to 5.0.0
-------------------------+--------------------
  Reporter:  mohd-akram  |      Owner:  (none)
      Type:  update      |     Status:  new
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:
Resolution:              |   Keywords:
      Port:  ocaml       |
-------------------------+--------------------

Comment (by pmetzger):

 Okay, I've checked, and in the last few weeks Coq has been fixed. I think
 we can probably do an upgrade provided we're willing to let some minor
 things be broken.

-- 
Ticket URL: <https://trac.macports.org/ticket/66495#comment:3>
MacPorts <https://www.macports.org/>
Ports system for macOS