Bump version number

n-osborne · Jul 3, 2024 · 9df954c · 9df954c
1 parent bde907a
commit 9df954c
Show file tree

Hide file tree

Showing 10 changed files with 10 additions and 10 deletions.
diff --git a/dune-project b/dune-project
@@ -3,7 +3,7 @@
 (using dune_site 0.1)
 (using mdx 0.4)
 
-(version 0.2.0)
+(version 0.3.0)
 
 (name ortac)
 (license MIT)

diff --git 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.2.0"
+version: "0.3.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
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2.0"
+version: "0.3.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
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2.0"
+version: "0.3.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
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2.0"
+version: "0.3.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
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2.0"
+version: "0.3.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
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2.0"
+version: "0.3.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
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2.0"
+version: "0.3.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
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2.0"
+version: "0.3.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
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2.0"
+version: "0.3.0"
 synopsis: "Wrapper plugin for Ortac"
 description: """
 The Wrapper plugin for the Ortac command-line tool (provided by the