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

Sat Jul 28 12:41:02 PDT 2012

#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