[MacPorts] #36005: Please upgrade Coq to 8.4

[MacPorts]

#36005: Please upgrade Coq to 8.4
--------------------------------+-------------------------------------------
 Reporter:  perry@…             |       Owner:  macports-tickets@…                   
     Type:  update              |      Status:  new                                  
 Priority:  Normal              |   Milestone:                                       
Component:  ports               |     Version:  2.1.2                                
 Keywords:                      |        Port:  coq                                  
--------------------------------+-------------------------------------------
 Coq 8.4 was released a few weeks ago. The update is quite simple -- just
 bumping the version number and the checksums. I've enclosed a patch.

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