Re: [MacPorts] #32074: coq: update to 8.3pl2

23 Nov 2011

      #32074: coq: update to 8.3pl2
--------------------------------+-------------------------------------------
 Reporter:  perry@…             |       Owner:  reilles@…       
     Type:  update              |      Status:  new             
 Priority:  Normal              |   Milestone:                  
Component:  ports               |     Version:                  
 Keywords:                      |        Port:  coq             
--------------------------------+-------------------------------------------

Comment(by perry@…):

 Any chance of having this patch applied? It is really simple and works
 fine.

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