TL;DR: if you use docker-coq images and install Debian packages in your CI script (manually or via opam depext), then you might be impacted by the upgrade planned on next Monday 2024-07-29.
Bump to Debian 12:
Similarly to last time, we would like to announce some upcoming version bump for the base image of docker-coq → using the last stable release of Debian (bookworm) on next Monday, 2024-07-29. The upgrade will also incorporate the latest release of opam version 2.2.0.
This change might impact CI scripts in some corner cases, if ever a package you rely on were not available in Debian 12. Hence this post to let you know about this change in advance, before the corresponding PR is merged.
Implementation detail
This upgrade will incidentally benefit from a recent docker-keeper feature that makes it possible to trigger image rebuilds from specific commit message footers, along with some automatic propagation to children repositories that rely on coqorg/base images:
