[MacPorts] #30287: coq @8.2pl1 - Build Failure

MacPorts noreply at macports.org
Thu Sep 29 06:23:59 PDT 2011


#30287: coq @8.2pl1 - Build Failure
-----------------------------------+----------------------------------------
 Reporter:  richardosborn@…        |       Owner:  reilles@…       
     Type:  defect                 |      Status:  new             
 Priority:  Normal                 |   Milestone:                  
Component:  ports                  |     Version:  1.9.2           
 Keywords:                         |        Port:  coq             
-----------------------------------+----------------------------------------

Comment(by hentzlx-cadastro@…):

 In last version of Macports 2.0.3 the coq port it was updated to 8.3. With
 this update build work perfectly.

 The test versions are:
 Macports 2.0.3
 Port coq8.3pl1
 XCode 4.1
 Mac OS 10.7.1

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


More information about the macports-tickets mailing list