diff --git a/ortac-core.opam b/ortac-core.opam
index e436f082..435b9499 100644
--- a/ortac-core.opam
+++ b/ortac-core.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis:
   "Ortac (OCaml Runtime Assertion Checking) core tool and library based on Gospel"
 description: """
diff --git a/ortac-dune.opam b/ortac-dune.opam
index a571b2fc..2b86fa42 100644
--- a/ortac-dune.opam
+++ b/ortac-dune.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis: "Generate dune rules for other ortac plugins"
 description: "Generate dune rules for other ortac plugins"
 maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
diff --git a/ortac-examples.opam b/ortac-examples.opam
index eb607d2a..e6a6519d 100644
--- a/ortac-examples.opam
+++ b/ortac-examples.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis: "Ortac examples on different libraries"
 maintainer: ["Nicolas Osborne <nicolas.osborne@tarides.com>"]
 authors: [
diff --git a/ortac-monolith.opam b/ortac-monolith.opam
index b477e161..954f8282 100644
--- a/ortac-monolith.opam
+++ b/ortac-monolith.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis: "Monolith plugin for Ortac"
 description: """
 The Monolith plugin for the Ortac command-line tool (provided by
diff --git a/ortac-qcheck-stm.opam b/ortac-qcheck-stm.opam
index 31befe55..ee215b99 100644
--- a/ortac-qcheck-stm.opam
+++ b/ortac-qcheck-stm.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis: "QCheck-STM plugin for Ortac"
 description: """
 The QCheck-STM plugin for the Ortac command-line tool (provided by
diff --git a/ortac-runtime-monolith.opam b/ortac-runtime-monolith.opam
index fcdc5537..58dbea7f 100644
--- a/ortac-runtime-monolith.opam
+++ b/ortac-runtime-monolith.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis: "Runtime support library for Ortac/Monolith-generated code"
 description: """
 The ortac-runtime-monolith library provides support for the code
diff --git a/ortac-runtime-qcheck-stm.opam b/ortac-runtime-qcheck-stm.opam
index 136263b6..7fa05f43 100644
--- a/ortac-runtime-qcheck-stm.opam
+++ b/ortac-runtime-qcheck-stm.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis: "Runtime support library for Ortac/QCheck-STM-generated code"
 description: """
 The ortac-runtime-qcheck-stm library provides support for the code
diff --git a/ortac-runtime.opam b/ortac-runtime.opam
index beadd3c2..0b660922 100644
--- a/ortac-runtime.opam
+++ b/ortac-runtime.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis: "Runtime support library for Ortac-generated code"
 description: """
 The ortac-runtime library provides support for the code generated
diff --git a/ortac-wrapper.opam b/ortac-wrapper.opam
index ce441128..6ae05d4f 100644
--- a/ortac-wrapper.opam
+++ b/ortac-wrapper.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.1.0+dev"
+version: "0.2.0"
 synopsis: "Wrapper plugin for Ortac"
 description: """
 The Wrapper plugin for the Ortac command-line tool (provided by the