# ANN: docker-coq: Bump to Debian 12 (& opam 2.2.0)

**URL:** <https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-12-opam-2-2-0/2385>\
**Category:** Announcements\
**Created:** [July 22, 2024, 1:55pm UTC](https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-12-opam-2-2-0/2385 "2024-07-22T13:55:02Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![erikmd](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/erikmd/32/145_2.png) [@erikmd](https://discourse.rocq-prover.org/u/erikmd)\
**Post date:** [July 22, 2024, 1:55pm UTC](https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-12-opam-2-2-0/2385/1 "2024-07-22T13:55:02Z")

</div>

**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](https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702), 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](https://opam.ocaml.org/blog/opam-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](https://packages.debian.org/bookworm/). Hence this post to let you know about this change in advance, before the corresponding [PR](https://github.com/coq-community/docker-base/pull/27) is merged.

> **Implementation detail**
>
> _This upgrade will incidentally benefit from a recent docker-keeper [feature](https://gitlab.com/erikmd/docker-keeper/-/wikis/home#how-to-trigger-builds-from-a-commit-message) 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:_
> 
> ![docker-repos](https://us1.discourse-cdn.com/flex001/uploads/coq/original/2X/0/05e210bd5520ad4000beeb78f52899407b0e3a5c.png)