[MacPorts] #35391: coq @8.3pl4 source build failure: ml4 file parse errors

[MacPorts]

#35391: coq @8.3pl4 source build failure: ml4 file parse errors
------------------------------+-----------------------
  Reporter:  macports-trac@…  |      Owner:  reilles@…
      Type:  defect           |     Status:  new
  Priority:  Normal           |  Milestone:
 Component:  ports            |    Version:  2.1.2
Resolution:                   |   Keywords:
      Port:  coq              |
------------------------------+-----------------------
Changes (by jmr@…):

 * cc: mww@… (added)


Comment:

 Did r96032 help with this?

-- 
Ticket URL: <https://trac.macports.org/ticket/35391#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS