[MacPorts] #30620: [Coq] Build failure

Wed Oct 25 09:09:00 UTC 2017

#30620: [Coq] Build failure
-----------------------+----------------------
  Reporter:  mt1882@…  |      Owner:  pmetzger
      Type:  defect    |     Status:  closed
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:  2.0.1
Resolution:  fixed     |   Keywords:
      Port:  coq       |
-----------------------+----------------------
Changes (by jmroot):

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

Comment:

 No response; assuming fixed in newer versions.

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