[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:  assigned               
  Priority:  Normal             |   Milestone:  Port Updates           
 Component:  ports              |     Version:  1.6.0                  
Resolution:                     |    Keywords:  coq                    
--------------------------------+-------------------------------------------
Changes (by ryandesign at macports.org):

  * owner:  macports-tickets at lists.macosforge.org =>
            ryandesign at macports.org
  * status:  new => assigned

Comment:

 Since the maintainer hasn't responded in over 72 hours, I'll take this
 ticket.

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