feat: Switch to single-switch coq images - Githubissues

math-comp / docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]

https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags

BSD 3-Clause "New" or "Revised" License

6 stars 2 forks source link

feat: Switch to single-switch coq images #6

Closed erikmd closed 2 years ago

erikmd commented 4 years ago

Use coqorg/coq:*-ocaml-4.07-flambda

(this ocaml switch version was already that of mathcomp/mathcomp-dev)
This should be merged and deployed (rebuilt with a manual GitLab CI pipeline) after PR coq-community/docker-coq#7 is merged and deployed.

erikmd commented 2 years ago

Subsumed by https://github.com/math-comp/docker-mathcomp/pull/20