diff --git a/frama-c-metacsl.opam b/frama-c-metacsl.opam
index 55467b1d217263f591416a6feb57d0e1c754967f..c1582c4bbe65f546f3b80106e28770b697430073 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.5~beta"
+version: "0.5"
 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 d8ca6b43b09d08fba2dddcd44d2f2bc073b81f5e..3c588d1789a95025e7527cf5d94a2eb7b99c0a92 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.5~beta"
+version: "0.5"
 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