[MacPorts] #66647: Maybe update Coq? 8.13 in Macports vs 8.16 upstream release

[MacPorts]

#66647: Maybe update Coq? 8.13 in Macports vs 8.16 upstream release
--------------------------+----------------------
 Reporter:  barracuda156  |      Owner:  pmetzger
     Type:  defect        |     Status:  assigned
 Priority:  Normal        |  Milestone:
Component:  ports         |    Version:  2.8.0
 Keywords:                |       Port:  coq
--------------------------+----------------------
 I have found some algebra-related ports which depend on Coq, and some seem
 to require at least 8.14. Maybe time to update it?

-- 
Ticket URL: <https://trac.macports.org/ticket/66647>
MacPorts <https://www.macports.org/>
Ports system for macOS