[MacPorts] #13940: RFE: coq 8.1pl3

[MacPorts]

#13940: RFE: coq 8.1pl3
--------------------------------+-------------------------------------------
  Reporter:  wss at cs.nott.ac.uk  |       Owner:  macports-tickets at lists.macosforge.org
      Type:  enhancement        |      Status:  new                                  
  Priority:  Normal             |   Milestone:  Port Updates                         
 Component:  ports              |     Version:  1.6.0                                
Resolution:                     |    Keywords:  coq                                  
--------------------------------+-------------------------------------------
Changes (by jmpp at macports.org):

  * type:  defect => enhancement
  * milestone:  MacPorts base enhancements => Port Updates

-- 
Ticket URL: <http://trac.macosforge.org/projects/macports/ticket/13940#comment:1>
MacPorts </projects/macports>
Ports system for Mac OS