From e08f8dfd5919e2bcfb091395bdccb52becf90090 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 4 Nov 2016 14:41:05 +0100
Subject: [PATCH] prepare for 0.3

---
 _oasis        |  2 +-
 opam          |  2 +-
 setup.ml      |  9 +++++----
 src/core/META | 12 ++++++------
 4 files changed, 13 insertions(+), 12 deletions(-)

diff --git a/_oasis b/_oasis
index f05295c..c1037a0 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        nunchaku
-Version:     0.2
+Version:     0.3
 Homepage:    https://github.com/nunchaku/nunchaku
 Authors:     Simon Cruanes, Jasmin Blanchette
 License:     BSD-2-clause
diff --git a/opam b/opam
index 1e61dc3..9089451 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "nunchaku"
-version: "0.2"
+version: "0.3"
 authors: ["Simon Cruanes" "Jasmin Blanchette"]
 maintainer: "simon.cruanes@inria.fr"
 build: [
diff --git a/setup.ml b/setup.ml
index c330dda..59193e6 100644
--- a/setup.ml
+++ b/setup.ml
@@ -1,7 +1,7 @@
 (* setup.ml generated for the first time by OASIS v0.4.5 *)
 
 (* OASIS_START *)
-(* DO NOT EDIT (digest: 5e91dcb954d8237794d4992c9187404e) *)
+(* DO NOT EDIT (digest: 930837148f604006d4ca428266e1b55c) *)
 (*
    Regenerated by OASIS v0.4.7
    Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7051,7 +7051,7 @@ let setup_t =
        {
           oasis_version = "0.4";
           ocaml_version = Some (OASISVersion.VGreaterEqual "4.00.1");
-          version = "0.2";
+          version = "0.3";
           license =
             OASISLicense.DEP5License
               (OASISLicense.DEP5Unit
@@ -8297,7 +8297,8 @@ let setup_t =
        };
      oasis_fn = Some "_oasis";
      oasis_version = "0.4.7";
-     oasis_digest = Some "\174Yn 0[+\0287\153\153\015\bV U";
+     oasis_digest =
+       Some "\202[g\157\162\019\244\135\255\014\251Bu\199\221\127";
      oasis_exec = None;
      oasis_setup_args = [];
      setup_update = false
@@ -8305,7 +8306,7 @@ let setup_t =
 
 let setup () = BaseSetup.setup setup_t;;
 
-# 8309 "setup.ml"
+# 8310 "setup.ml"
 let setup_t = BaseCompat.Compat_0_4.adapt_setup_t setup_t
 open BaseCompat.Compat_0_4
 (* OASIS_STOP *)
diff --git a/src/core/META b/src/core/META
index ff238e9..ad7c114 100644
--- a/src/core/META
+++ b/src/core/META
@@ -1,6 +1,6 @@
 # OASIS_START
-# DO NOT EDIT (digest: 9b02635b633f9e5a8347fee176d1fc45)
-version = "0.2"
+# DO NOT EDIT (digest: 2e21742828b06c1449a8a0247ae78ced)
+version = "0.3"
 description = "A model finder for higher-order logic"
 requires = "containers containers.data sequence num unix threads"
 archive(byte) = "nunchaku_core.cma"
@@ -9,7 +9,7 @@ archive(native) = "nunchaku_core.cmxa"
 archive(native, plugin) = "nunchaku_core.cmxs"
 exists_if = "nunchaku_core.cma"
 package "transformations" (
- version = "0.2"
+ version = "0.3"
  description = "A model finder for higher-order logic"
  requires = "containers nunchaku"
  archive(byte) = "nunchaku_transformations.cma"
@@ -20,7 +20,7 @@ package "transformations" (
 )
 
 package "random" (
- version = "0.2"
+ version = "0.3"
  description = "A model finder for higher-order logic"
  requires = "nunchaku qcheck"
  archive(byte) = "nunchaku_random.cma"
@@ -31,7 +31,7 @@ package "random" (
 )
 
 package "parsers" (
- version = "0.2"
+ version = "0.3"
  description = "A model finder for higher-order logic"
  requires = "nunchaku"
  archive(byte) = "nunchaku_parsers.cma"
@@ -42,7 +42,7 @@ package "parsers" (
 )
 
 package "backends" (
- version = "0.2"
+ version = "0.3"
  description = "A model finder for higher-order logic"
  requires = "nunchaku nunchaku.parsers"
  archive(byte) = "nunchaku_backends.cma"