diff --git a/frama-c-metacsl.opam b/frama-c-metacsl.opam
index fe60727a774cc2b2ceac173b5dbdf1006f945062..bf8f583a88c894b4f16f311f1ad7444257d5fba9 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.8~beta"
+version: "0.8+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 0bd4963c6c57a51b9715909ce9c4da88087036c9..9abf24546bb055bcd09b4b254dfe8cd3d742e201 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.8~beta"
+version: "0.8+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