[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@…):

 Uploaded new version of patch that has a variant for doc (requires texlive
 and hevea)

-- 
Ticket URL: <http://trac.macports.org/ticket/19255#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS