[MacPorts] #19255: coq-8.2 new variant for coqide

[MacPorts]

#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