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

[MacPorts]

#26928: update coq to v8.3
-------------------------------+--------------------------------------------
 Reporter:  julien@…           |       Owner:  macports-tickets@…                   
     Type:  update             |      Status:  new                                  
 Priority:  Normal             |   Milestone:                                       
Component:  ports              |     Version:  1.9.1                                
 Keywords:                     |        Port:  coq                                  
-------------------------------+--------------------------------------------
 Coq 8.3 is out. Here is an updated portfile.

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