Draft: testing/coq: upgrade to 8.17.1 (!47576) · Merge requests · alpine / aports · GitLab

omni requested to merge omni/aports:upgrade-coq into master May 28, 2023

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

Edited Jul 08, 2023 by omni