Merge branch 'update-dockerfile-versions' into 'master'

[dev] update opam, fedora and alpine versions in Dockerfiles

See merge request frama-c/frama-c!4528

dev/docker/Dockerfile

@@ -26,7 +26,7 @@ RUN /init/install.sh \
   unzip \
   wget
 
-RUN bash -c "yes '' | sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)" --version 2.1.3
+RUN bash -c "yes '' | sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)" --version 2.1.5
 
 # Avoid using root (opam dislikes it)
 COPY add-user.sh /init/

dev/docker/Makefile

@@ -56,8 +56,8 @@ version=$(shell grep -o "^- OCaml [0-9.]\+" "../../reference-configuration.md" |
 BUILD_ARGS += --build-arg=OCAML_VERSION=$(version)
 
 %.debian: BUILD_ARGS += --build-arg=DISTRO=debian:bookworm-slim
-%.fedora: BUILD_ARGS += --build-arg=DISTRO=fedora:38
-%.alpine: BUILD_ARGS += --build-arg=DISTRO=alpine:3.18
+%.fedora: BUILD_ARGS += --build-arg=DISTRO=fedora:39
+%.alpine: BUILD_ARGS += --build-arg=DISTRO=alpine:3.19
 
 dev-all: dev.debian dev-stripped.debian dev-gui.debian \
          dev.fedora dev-stripped.fedora dev-gui.fedora \