Skip to content
Snippets Groups Projects

update opam spec file

Failed
Björn Brandenburg created pipeline for commit 5b509b25
, finished
1 related merge request: !104 Support mathcomp 1.11.0 and Coq 8.12
14 jobs 5 minutes 24 seconds, queued for 6 seconds