[MacPorts] #26448: install coq fails in configuring stage

[MacPorts]

#26448: install coq fails in configuring stage
----------------------------------------+-----------------------------------
  Reporter:  thomas.anberree@…          |       Owner:  reilles@…       
      Type:  defect                     |      Status:  closed          
  Priority:  Normal                     |   Milestone:                  
 Component:  ports                      |     Version:  1.9.1           
Resolution:  invalid                    |    Keywords:                  
      Port:  coq                        |  
----------------------------------------+-----------------------------------
Changes (by jmr@…):

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


Comment:

 No log, no way of knowing what the problem was.

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