[MacPorts] #36005: coq: update to 8.4 (was: Please upgrade Coq to 8.4)

[MacPorts]

#36005: coq: update to 8.4
--------------------------------+-------------------------------------------
 Reporter:  perry@…             |       Owner:  reilles@…       
     Type:  update              |      Status:  new             
 Priority:  Normal              |   Milestone:                  
Component:  ports               |     Version:  2.1.2           
 Keywords:  haspatch            |        Port:  coq             
--------------------------------+-------------------------------------------
Changes (by ryandesign@…):

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


Comment:

 The revision should drop to zero.

 Does this version of coq support ocaml4? if so the dependency should be
 updated.

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