#22726: Cannot compile LaTeX doc for Coq ------------------------------------+--------------------- Reporter: hippallium-macports@… | Owner: perry@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 1.8.1 Resolution: fixed | Keywords: LaTeX Port: coq | ------------------------------------+--------------------- Changes (by ionic@…): * cc: ionic@… (added) * status: new => closed * resolution: => fixed Comment: Closing on maintainer's request. If the problem still persists, please comment here and the ticket will be reopened. -- Ticket URL: <https://trac.macports.org/ticket/22726#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X