Skip to content
Snippets Groups Projects

Restore compatibility with Coq 8.13

Passed
Björn Brandenburg created pipeline for commit be40b98b
, finished
For master
16 jobs 7 minutes 2 seconds, queued for 4 seconds