[MacPorts] #30619: [Coq] Build failure

[MacPorts]

#30619: [Coq] Build failure
-------------------------------+--------------------------------------------
  Reporter:  mt1882@…          |       Owner:  macports-tickets@…                   
      Type:  defect            |      Status:  closed                               
  Priority:  Normal            |   Milestone:                                       
 Component:  ports             |     Version:  2.0.1                                
Resolution:  duplicate         |    Keywords:                                       
      Port:                    |  
-------------------------------+--------------------------------------------
Changes (by jmr@…):

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


Comment:

 #30620

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