Skip to content
Snippets Groups Projects
Commit b6d4c71e authored by Ralf Jung's avatar Ralf Jung
Browse files

permit building with Coq 8.12

parent 3196e5ca
No related branches found
No related tags found
No related merge requests found
Pipeline #28834 passed