[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:  closed
  Priority:  Normal           |  Milestone:
 Component:  ports            |    Version:  2.1.2
Resolution:  worksforme       |   Keywords:
      Port:  coq              |
------------------------------+-----------------------
Changes (by ecronin@…):

 * status:  new => closed
 * resolution:   => worksforme


Comment:

 several updates since, re-open if it's still an issue...

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