diff --git a/opam/opam b/opam/opam
index 04e23c81a13edc258785521dc7f4039c895818c2..4ca43003a0b54d07e8ae15487b96b8e804b582aa 100644
--- a/opam/opam
+++ b/opam/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "23.0"
+version: "23.1"
 description:"""
 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the