[MacPorts] #56498: Coq +doc is broken for Coq 8.8.0

[MacPorts]

#56498: Coq +doc is broken for Coq 8.8.0
-----------------------+----------------------
  Reporter:  pmetzger  |      Owner:  pmetzger
      Type:  defect    |     Status:  closed
  Priority:  Normal    |  Milestone:
 Component:  ports     |    Version:
Resolution:  fixed     |   Keywords:
      Port:  coq       |
-----------------------+----------------------
Changes (by pmetzger):

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


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