diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7247b98f777a66311e4bfd3e38dbe9dc26262e0c..1e67b356c3f30cb659e8badb3f4247bfcb2326aa 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,8 @@
-# Current development
+# Version 0.3
+
+- compatibility with Frama-C 25.0 Manganese
+
+# Version 0.2
 
 - add warning category `unknown-func` which aborts by default
 - add `\func` meta-variables in all contexts
diff --git a/Makefile.in b/Makefile.in
index fa61c90f0e2cf3365f9db3a007b6875cee1f9845..a9bbed2b9dc4f2efd6473aa6c25f5e1e334da9b9 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -89,7 +89,7 @@ install:: install-sharedir
 
 ifneq ("$(FRAMAC_INTERNAL)","yes")
 
-VERSION=0.2
+VERSION=0.3
 EXTRAVERSION?=
 OPEN_SOURCE?=yes
 
diff --git a/opam b/opam
index febc487498190428f6d22122e03d14adfb87498a..81efb7fcefdbe936e9695a78ba243b347da10c5d 100644
--- a/opam
+++ b/opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
 name: "frama-c-metacsl"
 synopsis: "MetACSL plugin of Frama-C for writing pervasives properties"
-version: "0.2"
+version: "0.3"
 description:"""
 MetACSL let users write properties that need to be checked at particular
 contexts (e.g. each time a location is written to inside a given set
@@ -36,8 +36,8 @@ install: [
 
 depends: [
   "ocaml" { >= "4.08.1" }
-  "frama-c" { >= "24.0" & < "25.0" }
-  "why3" { >= "1.3.1" }
+  "frama-c" { >= "25.0" & < "26.0" }
+  "why3" { >= "1.5.0" }
 ]
 
 depopts: [ "conf-swi-prolog" ]