#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