[MacPorts] #38042: [Port Abandoned] coq

[MacPorts]

#38042: [Port Abandoned] coq
----------------------+--------------------------------
  Reporter:  perry@…  |      Owner:  macports-tickets@…
      Type:  defect   |     Status:  new
  Priority:  Normal   |  Milestone:
 Component:  ports    |    Version:  2.1.3
Resolution:           |   Keywords:
      Port:  coq      |
----------------------+--------------------------------
Description changed by macsforever2000@…:

Old description:

> It would appear that the Coq port has been abandoned.
>
> See, for example:
>
> * http://trac.macports.org/ticket/32074
> * http://trac.macports.org/ticket/36005
> * http://trac.macports.org/ticket/37425
>
> There has been no sign of the maintainer replying to any ticket for the
> port in quite some time.

New description:

 It would appear that the Coq port has been abandoned.

 See, for example:

 * ticket:32074
 * ticket:36005
 * ticket:37425

 There has been no sign of the maintainer replying to any ticket for the
 port in quite some time.

--

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