Skip to content

testing/coq: upgrade to 8.13.2

River Dillon requested to merge outerpassage/aports:coq into master

includes aport for new dependency on zarith

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

Edited by River Dillon

Merge request reports