diff --git a/frama-c-metacsl.opam b/frama-c-metacsl.opam
index adafba7c670b793fc6ca8648cca9f81d9c3fafec..2433cc1efc6549836690c80c5d3374cd3c64b212 100644
--- a/frama-c-metacsl.opam
+++ b/frama-c-metacsl.opam
@@ -36,7 +36,7 @@ build: [
 ]
 name: "frama-c-metacsl"
 synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
-version: "0.4"
+version: "0.4+dev"
 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
diff --git a/frama-c-metacsl.opam.template b/frama-c-metacsl.opam.template
index 7450594b2cb8b456e562c07349ac17d8537fb59b..9436f72c84bed56573140f9a95de8037fa675022 100644
--- a/frama-c-metacsl.opam.template
+++ b/frama-c-metacsl.opam.template
@@ -1,6 +1,6 @@
 name: "frama-c-metacsl"
 synopsis: "MetAcsl plugin of Frama-C for writing pervasives properties"
-version: "0.4"
+version: "0.4+dev"
 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