1 files changed, 2 insertions, 2 deletions
diff --git a/opam b/opam
index be29c2ef..a0a7792f 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "sail"
-version: "0.3"
+version: "0.4"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
@@ -31,4 +31,4 @@ depends: [
   "lem"
   "linksem" {>= "0.3"}
 ]
-available: [ocaml-version >= "4.02.3"]
+available: [ocaml-version >= "4.06.0"]