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

[MacPorts]

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

 I've done the upgrade in my own tree -- I am attaching the diff.

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