[MacPorts] #26928: update coq to v8.3

[MacPorts]

#26928: update coq to v8.3
--------------------------------+-------------------------------------------
  Reporter:  julien@…           |       Owner:  reilles@…       
      Type:  update             |      Status:  closed          
  Priority:  Normal             |   Milestone:                  
 Component:  ports              |     Version:                  
Resolution:  duplicate          |    Keywords:  haspatch        
      Port:  coq                |  
--------------------------------+-------------------------------------------
Changes (by jmr@…):

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


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