#19255: coq-8.2 new variant for coqide -----------------------------------------------+---------------------------- Reporter: thomas.hutchinson@… | Owner: reilles@… Type: enhancement | Status: new Priority: Normal | Milestone: Port Enhancements Component: ports | Version: 1.7.1 Keywords: | Port: coq -----------------------------------------------+---------------------------- Comment(by thomas.hutchinson@…): "pngtopnm" and "pnmtops" are required to build the documentation too - so I added netpbm as a doc dependency -- Ticket URL: <http://trac.macports.org/ticket/19255#comment:3> MacPorts <http://www.macports.org/> Ports system for Mac OS