#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 Keywords: | Port: coq ----------------------------------------+----------------------------------- Changes (by ryandesign@…): * owner: macports-tickets@… => reilles@… -- Ticket URL: <https://trac.macports.org/ticket/35391#comment:1> MacPorts <http://www.macports.org/> Ports system for Mac OS