testing/coq: upgrade to 8.16.1 (!42185) · Merge requests · alpine / aports · GitLab

omni requested to merge omni/aports:upgrade-coq into master Dec 10, 2022

https://coq.inria.fr/distrib/V8.16.1/refman/changes.html#changes-in-8-16-1