From 47a7142a3c7f9987305dd34cbcc64c9c8c323775 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 10 Mar 2019 11:36:01 -0500
Subject: [PATCH] prepare for 0.8

---
 msat.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/msat.opam b/msat.opam
index 698d0cd4..6f63c67d 100644
--- a/msat.opam
+++ b/msat.opam
@@ -2,7 +2,7 @@ opam-version: "2.0"
 name: "msat"
 synopsis: "Library containing a SAT solver that can be parametrized by a theory"
 license: "Apache"
-version: "dev"
+version: "0.8"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [