[MacPorts] #30620: [Coq] Build failure

MacPorts noreply at macports.org
Sun May 13 22:33:37 PDT 2012


#30620: [Coq] Build failure
------------------------------+---------------------------------------------
 Reporter:  mt1882@…          |       Owner:  reilles@…       
     Type:  defect            |      Status:  new             
 Priority:  Normal            |   Milestone:                  
Component:  ports             |     Version:  2.0.1           
 Keywords:                    |        Port:  coq             
------------------------------+---------------------------------------------

Comment(by jmr@…):

 Is this still a problem with 8.3pl2? If so, please attach a complete log
 (the one currently attached starts with the build phase already partly
 complete).

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


More information about the macports-tickets mailing list