diff --git a/README.md b/README.md index 2a33398..3d6414f 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ This repository provides [Docker](https://www.docker.com/) images of the [Rocq Prover](https://rocq-prover.org/). -These images are based on [this parent image](https://hub.docker.com/r/rocq/base/), itself based on [Debian 12 Slim](https://hub.docker.com/_/debian/) and relying on [opam 2.0](https://opam.ocaml.org/doc/Manual.html): +These images are based on [this parent image](https://hub.docker.com/r/rocq/base/), itself based on [Debian 12 Slim](https://hub.docker.com/_/debian/) and relying on the last version of [opam 2.x](https://opam.ocaml.org/doc/Manual.html): | | GitHub repo | Type | Docker Hub | |---|-------------------------------------------------------------------------|---------------|------------------------------------------------------------------|