Skip to content
Snippets Groups Projects
Commit e50c3d11 authored by Björn Brandenburg's avatar Björn Brandenburg
Browse files

opam: bump up supported Coq version

parent 790c5bb0
No related branches found
No related tags found
1 merge request!163Coq 8.14 support
Pipeline #55404 passed with warnings
Stage: build
Stage: process