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

MacPorts noreply at macports.org
Tue May 15 17:56:18 UTC 2018

#56498: Coq +doc is broken for Coq 8.8.0
 Reporter:  pmetzger  |      Owner:  pmetzger
     Type:  defect    |     Status:  assigned
 Priority:  Normal    |  Milestone:
Component:  ports     |    Version:
 Keywords:            |       Port:  coq
 Coq now uses Sphinx to generate most of its documentation. The +doc
 variant is now broken and needs a couple of added python libraries +
 dependencies to work correctly.

 This replaces #22292

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

More information about the macports-tickets mailing list