[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:  macports-tickets@…                   
     Type:  defect                      |      Status:  new                                  
 Priority:  Normal                      |   Milestone:                                       
Component:  ports                       |     Version:  2.1.2                                
 Keywords:                              |        Port:  coq                                  
----------------------------------------+-----------------------------------
 Building coq @8.3pl4 with command "sudo port -s install coq" fails in
 parsing some ml4 source files (see log).

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