[MacPorts] #56498: Coq +doc is broken for Coq 8.8.0
MacPorts
noreply at macports.org
Thu Jul 19 16:11:36 UTC 2018
#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
More information about the macports-tickets
mailing list