testing/coq: upgrade to 8.15.2 (!34964) · Merge requests · alpine / aports · GitLab

omni requested to merge omni/aports:upgrade-coq into master May 31, 2022

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

Edited Jul 08, 2022 by omni