[MacPorts] #37100: coq 8.4 +coqide

[MacPorts]

#37100: coq 8.4 +coqide
------------------------+----------------------
  Reporter:  joerg@…    |      Owner:  pmetzger
      Type:  defect     |     Status:  closed
  Priority:  Normal     |  Milestone:
 Component:  ports      |    Version:  2.1.2
Resolution:  duplicate  |   Keywords:  coqide
      Port:  coq        |
------------------------+----------------------
Changes (by pmetzger):

 * status:  new => closed
 * resolution:   => duplicate


-- 
Ticket URL: <https://trac.macports.org/ticket/37100#comment:7>
MacPorts <https://www.macports.org/>
Ports system for macOS