[MacPorts] #13940: RFE: coq 8.1pl3

MacPorts noreply at macports.org
Sat May 17 00:50:08 PDT 2008

#13940: RFE: coq 8.1pl3
  Reporter:  wss at cs.nott.ac.uk  |       Owner:  ryandesign at macports.org
      Type:  enhancement        |      Status:  closed                 
  Priority:  Normal             |   Milestone:  Port Updates           
 Component:  ports              |     Version:  1.6.0                  
Resolution:  fixed              |    Keywords:  coq                    
Changes (by ryandesign at macports.org):

  * status:  assigned => closed
  * resolution:  => fixed


 Updated to 8.1pl3 in r36889. Thanks for reporting!

Ticket URL: <http://trac.macports.org/ticket/13940#comment:4>
MacPorts <http://www.macports.org/>
Ports system for Mac OS

More information about the macports-tickets mailing list