Skip to content
Snippets Groups Projects

Restore compatibility with Coq 8.13

Passed
Björn Brandenburg created pipeline for commit be40b98b
, finished
Related merge request !184 to merge coq-version-bump
merge request
16 jobs 7 minutes 14 seconds, queued for 3 seconds