release prep: bump version number in dune-project, (generated) opam f…

…iles, and CHANGES
ocaml-multicore · Oct 11, 2023 · 67335ca · 67335ca
1 parent 28cc816
commit 67335ca
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,6 +1,6 @@
 # Changes
 
-## Next
+## 0.3
 
 - #400: Catch and delay exceptions in `STM`'s `next_state` for a nicer UX
 - #387: Reduce needless allocations in `Lin`'s sequential consistency

diff --git a/dune-project b/dune-project
@@ -6,7 +6,7 @@
 (authors "Jan Midtgaard" "Olivier Nicole" "Nicolas Osborne" "Samuel Hym")
 (maintainers "Jan Midtgaard <[email protected]>")
 (license BSD-2-clause)
-(version "0.2")
+(version "0.3")
 
 (package
  (name multicoretests)

diff --git a/multicoretests.opam b/multicoretests.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2"
+version: "0.3"
 synopsis: "Experimental multicore test suite of OCaml 5.0"
 description: """
 This package contains a collection of randomized QCheck tests to exercise

diff --git a/qcheck-lin.opam b/qcheck-lin.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2"
+version: "0.3"
 synopsis: "A multicore testing library for OCaml"
 description: """
 A testing library based on QCheck to test interface behaviour under parallel

diff --git a/qcheck-multicoretests-util.opam b/qcheck-multicoretests-util.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2"
+version: "0.3"
 synopsis:
   "Various utility functions for property-based testing of multicore programs"
 description: """

diff --git a/qcheck-stm.opam b/qcheck-stm.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.2"
+version: "0.3"
 synopsis:
   "State-machine testing library for sequential and parallel model-based tests"
 description: """