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

[MacPorts]

#32074: coq: update to 8.3pl2
---------------------------------+------------------------------------------
  Reporter:  perry@…             |       Owner:  reilles@…       
      Type:  update              |      Status:  closed          
  Priority:  Normal              |   Milestone:                  
 Component:  ports               |     Version:                  
Resolution:  fixed               |    Keywords:                  
      Port:  coq                 |  
---------------------------------+------------------------------------------
Changes (by dports@…):

  * status:  new => closed
  * resolution:  => fixed


Comment:

 Applied in r87727

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