[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