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

[MacPorts]

#28843: coq update to upstream 8.3pl1
--------------------------------------+-------------------------------------
 Reporter:  benoit.triquet@…          |       Owner:  macports-tickets@…                   
     Type:  update                    |      Status:  new                                  
 Priority:  Normal                    |   Milestone:                                       
Component:  ports                     |     Version:  1.9.2                                
 Keywords:  coqide ocaml              |        Port:  coq                                  
--------------------------------------+-------------------------------------
 There has been a previous upgrade request with status open for 5 months
 now. Please advise whether the coq port is abandoned/orphaned.

 The current coq package is @8.2pl1. With variant +coqide it does not
 compile with current ocaml @3.12 (debian has the same problem, it appears
 to be related to stronger typechecking in newer ocaml).

 The simplest solution is to upgrade to upstream 8.3pl1, which compiles
 fines with ocaml 3.12 without any patches. Variants +coqide and +doc have
 been tested and work (coqide has been tested with gtk2 variant +x11 only,
 not +quartz+no_x11).

 Please find the updated portfile attached.

 Please advise whether a separate bug report shall be filed against coq
 @8.2pl1.

 port lint --nitpick warns about trailing whitespace but i did not fix this
 as The Guide requires that whitespace commits be made separately from
 serious commits. I leave that to the committers.

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