Stream: Coq devs & plugin devs

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

view this post on Zulip 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:

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:

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: Oct 21 2021 at 21:03 UTC