[MacPorts] #22292: Coq +doc does not install css style file for stdlib html documents

Wed Jan 7 12:16:51 PST 2015

#22292: Coq +doc does not install css style file for stdlib html documents
--------------------------------+---------------------
  Reporter:  kiyoshi.coquser@…  |      Owner:  perry@…
      Type:  enhancement        |     Status:  new
  Priority:  Normal             |  Milestone:
 Component:  ports              |    Version:  1.8.1
Resolution:                     |   Keywords:
      Port:  coq                |
--------------------------------+---------------------
Changes (by jmr@…):

 * owner:  reilles@… => perry@…


-- 
Ticket URL: <https://trac.macports.org/ticket/22292#comment:2>
MacPorts <https://www.macports.org/>
Ports system for OS X