[MacPorts] #28843: coq update to upstream 8.3pl1

[MacPorts]

#28843: coq update to upstream 8.3pl1
--------------------------------------+-------------------------------------
 Reporter:  benoit.triquet@…          |       Owner:  reilles@…       
     Type:  update                    |      Status:  new             
 Priority:  Normal                    |   Milestone:                  
Component:  ports                     |     Version:  1.9.2           
 Keywords:  coqide ocaml              |        Port:  coq             
--------------------------------------+-------------------------------------
Changes (by ryandesign@…):

  * owner:  macports-tickets@… => reilles@…
 * cc: reilles@…, reilles@… (removed)


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