Skip to content

update to Coq 8.18

Ralf Jungrequested to merge
ci/8.18 into master

Let's see if we get any warnings.

Merge request reports