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

[MacPorts]

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

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


Comment:

 Updated, r84101. In future, please provide updates to existing portfiles
 as a unified diff, and please don't edit the Id line.

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