Skip to content

GitLab

fix build with Coq 8.10 and newer

6 jobs for master in 13 minutes and 12 seconds (queued for 1 second)
47f304f6
No related merge requests found.