[MacPorts] #22292: Coq +doc does not install css style file for stdlib html documents
MacPorts
noreply at macports.org
Tue May 15 17:58:12 UTC 2018
#22292: Coq +doc does not install css style file for stdlib html documents
--------------------------------+----------------------
Reporter: kiyoshi.coquser@… | Owner: pmetzger
Type: enhancement | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 1.8.1
Resolution: duplicate | Keywords:
Port: coq |
--------------------------------+----------------------
Changes (by pmetzger):
* status: new => closed
* resolution: => duplicate
--
Ticket URL: <https://trac.macports.org/ticket/22292#comment:5>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list