[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 jmr at macports.org):

 * cc: wss at cs.nott.ac.uk (removed)
 * cc: reilles at loria.fr (added)

Comment:

 Cc maintainer.

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