# ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove \`ocaml\_version: "minimal"\`)

**URL:** <https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702>\
**Category:** Announcements\
**Created:** [June 20, 2022, 7:55pm UTC](https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702 "2022-06-20T19:55:34Z")\
**Posts on this page:** 4\
**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:** [June 20, 2022, 7:55pm UTC](https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702/1 "2022-06-20T19:55:34Z")

</div>

**TL;DR:** if you use docker-coq images **and** (install Debian packages manually **or** use the docker-coq-action with `ocaml_version: "minimal"`), then you could be impacted by the upgrade planned on next Monday 2022-06-27.

* * *

Up to now, all changes done in `docker-coq` and `docker-coq-action` repositories have been done with a special focus on backward compatibility.

However, two upcoming changes might impact Docker-based CI scripts in some corner cases, while these changes appear necessary, and should rather be seen as “fixes”.

Hence this post to let you know about these two changes in advance, before the corresponding two PRs are merged (after Monday 2022-06-27 next week).

# docker-coq: Bump to Debian 11

Since the beginning, all docker-coq and [docker-mathcomp](https://github.com/math-comp/docker-mathcomp) images are based on Debian 10, which is now the _oldstable_ distribution of Debian.

We would like to bump the base image of all docker-coq / docker-mathcomp images to `debian:11-slim` → PR [coq-community/docker-base#20](https://github.com/coq-community/docker-base/pull/20)

But coq projects maintainers that manually install APT packages in their CI script (see _Related docs_ below) may be impacted if a necessary package was available in Debian 10, but not in Debian 11.

Please, let us know in this Discourse thread by next Monday 2022-06-27 if you think you are in this case.

### Related docs

If need be, see also:

- [https://github.com/coq-community/docker-coq-action#install-debian-packages](https://github.com/coq-community/docker-coq-action#install-debian-packages)
- [https://github.com/coq-community/docker-coq-action/releases/tag/v1.3.0](https://github.com/coq-community/docker-coq-action/releases/tag/v1.3.0)

# docker-coq-action: Remove `ocaml_version: "minimal"`

As the [docker-coq-action](https://github.com/coq-community/docker-coq-action) is intended to act as a GHA **facade** (to simplify the CI testing of opam projects using a Docker-Coq image or a custom one), and as the mapping between valid `coq_version` and `ocaml_version` already is the responsibility of the Docker-Coq registry, it appears irrelevant to also maintain one similar mapping in docker-coq-action’s `entrypoint.sh`.

Hence the decision to stop supporting the value `ocaml_version: "minimal"` within the docker-coq-action → PR [coq-community/docker-coq-action#75](https://github.com/coq-community/docker-coq-action/pull/75)

As of today, this setting is still available but raises a warning as a so-called GitHub Actions annotation:

 ![image](https://us1.discourse-cdn.com/flex001/uploads/coq/original/1X/a1a54f064eff2194e4193947f009ca451a7960d6.png)

This warning will become an error once the PR above is merged (after Monday 2022-06-27).

### Side remarks

- To avoid the warning, `ocaml_version: "minimal"` can just as well be emulated with:

- At the time this announcement is posted, only one GitHub public repository appears to rely on `"minimal"`; but several GitHub private repositories might be impacted as well!

- Finally, it can be noted that the `docker-coq-action` now supports a similar, but more useful setting `ocaml_version: "default"`, to directly rely on Docker-Coq’s default tag, see e.g.:

---

<div class="post-metadata">

**Author:** ![SkySkimmer](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/skyskimmer/32/369_2.png) [@SkySkimmer](https://discourse.rocq-prover.org/u/SkySkimmer)\
**Post date:** [June 20, 2022, 8:27pm UTC](https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702/2 "2022-06-20T20:27:42Z")

</div>

> ocaml\_version: “4.09-flambda”

Why flambda?

---

<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:** [June 20, 2022, 8:56pm UTC](https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702/3 "2022-06-20T20:56:32Z")

</div>

@SkySkimmer  
because _all_ Docker-Coq images actually have `+flambda` enabled in the underlying opam switch,  
_except_ for ocaml `4.02`, `4.05` (which were too old to support the option), and  
_except_ for `…-native` Docker-Coq images (because some performance issues had been spotted combining coq-native and flambda)

---

<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:** [June 29, 2022, 12:56am UTC](https://discourse.rocq-prover.org/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702/4 "2022-06-29T00:56:38Z")

</div>

After the merge of [PR coq-community/docker-base#20](https://github.com/coq-community/docker-base/pull/20), the images of the four Docker Hub repos below now all(§) come with **Debian 11** , as well as with the latest release of **`dune.3.3.1`** :

- [`coqorg/base`](https://hub.docker.com/r/coqorg/base)
- [`coqorg/coq`](https://hub.docker.com/r/coqorg/coq)
- [`mathcomp/mathcomp`](https://hub.docker.com/r/mathcomp/mathcomp)
- [`mathcomp/mathcomp-dev`](https://hub.docker.com/r/mathcomp/mathcomp-dev)

(§) except for [_coqorg/coq:8.5.3-ocaml-4.02.3_](https://hub.docker.com/layers/coq/coqorg/coq/8.5.3-ocaml-4.02.3/images/sha256-11b6426a373494c222653f575363fbe2bae7ea63ec7da374f05d87491aca9cbd?context=explore) for the time being, because of an opam build issue to be investigated.