community/coq: upgrade to 8.19.2 (!67493) · Merge requests · alpine / aports · GitLab

Celeste requested to merge Celeste/aports:upgrade-coq into master Jun 10, 2024

https://coq.inria.fr/doc/v8.19/refman/changes.html#changes-in-8-19-2

Edited Jun 10, 2024 by Celeste