[MacPorts] #30287: coq @8.2pl1 - Build Failure

[MacPorts]

#30287: coq @8.2pl1 - Build Failure
------------------------------------+---------------------------------------
  Reporter:  richardosborn@…        |       Owner:  reilles@…       
      Type:  defect                 |      Status:  closed          
  Priority:  Normal                 |   Milestone:                  
 Component:  ports                  |     Version:  1.9.2           
Resolution:  fixed                  |    Keywords:                  
      Port:  coq                    |  
------------------------------------+---------------------------------------
Changes (by jmr@…):

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


Comment:

 Closing as per comment:5.

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