testing/coq: upgrade to 8.16.0 (!38659) · Merge requests · alpine / aports · GitLab

omni requested to merge omni/aports:upgrade-coq into master Sep 05, 2022

https://coq.github.io/doc/v8.16/refman/changes.html#changes-in-8-16-0

Edited Nov 08, 2022 by omni