[MacPorts] #13940: RFE: coq 8.1pl3

[MacPorts]

#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

Comment:

 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