the latest mathcomp release does not build anymore with coq.dev
first spotted on 2020-08-21 04:07 UTC+2:
https://gitlab.com/math-comp/docker-mathcomp/-/jobs/696802737 (GitLab CI nightly build)
Cc @CohenCyril FYI (sorry for the delay for opening this PR… I will merge it as soon as the GitLab CI passes, and open a PR in opam-coq-archive accordingly)
the latest mathcomp release does not build anymore with coq.dev
first spotted on 2020-08-21 04:07 UTC+2: https://gitlab.com/math-comp/docker-mathcomp/-/jobs/696802737 (GitLab CI nightly build) Cc @CohenCyril FYI (sorry for the delay for opening this PR… I will merge it as soon as the GitLab CI passes, and open a PR in opam-coq-archive accordingly)