Stream: Coq devs & plugin devs

Topic: docker-coq: heads-up about hardcoded versions in coqorg/base

Erik Martin-Dorel (May 12 2021 at 00:27):

Dear Coq devs, due to some need to have a more recent Dune version in Docker-Coq images,
I've just bumped all hardcoded versions:

• https://github.com/coq-community/docker-base/commit/96b2975eea3b8628e15f5f0c3756323e71bff9d4
• https://github.com/coq-community/docker-base/commit/7cbbc52ae65a446cc033d5deb3ee09f7c26b4531

This should not raise any incompatibility issue, but just wanted to let you know.
So the build of the new coqorg/base images is on-going in:

• https://gitlab.com/coq-community/docker-base/-/pipelines/301278748
• https://gitlab.com/coq-community/docker-base/-/pipelines/301437661

then I'll rebuild coqorg/coq on tomorrow to benefit from this update
(for now, only coqorg/coq:dev* will be rebuilt if there's a merge in coq@master)

Last updated: Sep 09 2024 at 05:02 UTC