diff --git a/devel_tools/docker/frama-c.dev/Dockerfile b/devel_tools/docker/frama-c.dev/Dockerfile
index a1a8c63ae8bd91f412e6e4231415b4f75781ed2e..564d718075519adaccb3582bcfc1273944af4e5e 100644
--- a/devel_tools/docker/frama-c.dev/Dockerfile
+++ b/devel_tools/docker/frama-c.dev/Dockerfile
@@ -20,14 +20,14 @@ RUN opam update -y && opam install depext -y
 
 # Install packages from reference configuration
 RUN apt-get update && opam update -y && opam depext --install -y --verbose \
-    alt-ergo.2.0.0 \
+    alt-ergo.2.2.0 \
     apron.v0.9.12 \
     conf-graphviz.0.1 \
     mlgmpidl.1.2.12 \
     ocamlfind.1.8.1 \
     ocamlgraph.1.8.8 \
     ppx_deriving_yojson.3.5.2 \
-    why3.1.3.1 \
+    why3.1.3.3 \
     yojson.1.7.0 \
     zarith.1.9.1 \
     zmq.5.1.3 \
diff --git a/doc/release/build.tex b/doc/release/build.tex
index fc70329ed3cca10d01648f279362c723d6120d88..7d2cfc524726c384cdf7279618022a4ed25b2298 100644
--- a/doc/release/build.tex
+++ b/doc/release/build.tex
@@ -279,7 +279,7 @@ Please check that the distribution (sources and API) is OK:
   \item \verb+./configure --prefix="$PWD/build"+
   \item \verb+make+;
   \item \verb+make install+;
-  \item \verb+rm -f ~/.why3.conf; why3 config --full-config+;
+  \item \verb+rm -f ~/.why3.conf; why3 config --detect+;
   \item \verb+build/bin/frama-c tests/idct/*.c -eva -wp -wp-rte+
   \item If you have a GUI, replace \verb+frama-c+ above with \verb+frama-c-gui+
     and click around, see if things work (e.g. no segmentation faults).
diff --git a/opam/opam b/opam/opam
index 3ba784a791405be719eac1d105526731c8d723a4..dd9a22814ac9549d145b8d40c79de1590dc8192f 100644
--- a/opam/opam
+++ b/opam/opam
@@ -116,7 +116,7 @@ depends: [
   ( "alt-ergo-free" | "alt-ergo" )
   "conf-graphviz" { post }
   "yojson"
-  "why3" { >= "1.3.1" }
+  "why3" { >= "1.3.3" }
 ]
 
 depopts: [