[MacPorts] #59429: ocaml: Update to 4.12.0 and fix livecheck

[MacPorts]

#59429: ocaml: Update to 4.12.0 and fix livecheck
-------------------------+----------------------
  Reporter:  ryandesign  |      Owner:  pmetzger
      Type:  update      |     Status:  assigned
  Priority:  Normal      |  Milestone:
 Component:  ports       |    Version:
Resolution:              |   Keywords:
      Port:  ocaml       |
-------------------------+----------------------

Comment (by pmetzger):

 I've updated coq to a new version that no longer requires camlp5. I
 believe the ports broken by a lack of a camlp5 are now down to:

 libCUDF

 geneweb

 ledit

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