Skip to content
Snippets Groups Projects

also declare compatibility with Coq 8.9 in opam file

Canceled
Ralf Jung created pipeline for commit b7f1f6b1
, finished
For master
28 jobs 27 minutes 15 seconds, queued for 1 seconds