testing/coq: upgrade to 8.13.2 (!23746) · Merge requests · alpine / aports · GitLab

River Dillon requested to merge outerpassage/aports:coq into master Jul 31, 2021

includes aport for new dependency on zarith

dropped the emacs subpackage because the emacs mode was dropped in 8.9

Edited Jul 31, 2021 by River Dillon