[MacPorts] #38042: [Port Abandoned] coq

[MacPorts]

#38042: [Port Abandoned] coq
--------------------------+----------------------
  Reporter:  perry@…      |      Owner:  raimue@…
      Type:  enhancement  |     Status:  closed
  Priority:  Normal       |  Milestone:
 Component:  ports        |    Version:
Resolution:  fixed        |   Keywords:
      Port:  coq          |
--------------------------+----------------------
Changes (by larryv@…):

 * status:  new => closed
 * resolution:   => fixed
 * version:  2.1.3 =>
 * type:  defect => enhancement


Comment:

 I orphaned this port in r106340. Perry, would you be interested in being
 the official maintainer?

-- 
Ticket URL: <https://trac.macports.org/ticket/38042#comment:4>
MacPorts <http://www.macports.org/>
Ports system for OS X