[MacPorts] #13940: RFE: coq 8.1pl3

MacPorts noreply at macports.org
Sat May 17 00:49:34 PDT 2008

#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


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

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

More information about the macports-tickets mailing list