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

[MacPorts]

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

  * keywords:  => haspatch
  * owner:  macports-tickets@… => reilles@…
  * version:  1.9.1 =>


Comment:

 Please remember to cc the maintainer.

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