From 52b3b8e65dcb1f29b0f587880858cb938fd5de45 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 14 Mar 2019 14:15:39 +0000
Subject: Commit 6cbf7c5dd9 triggers a bug in ocaml 4.06.0 so require 4.06.1 or
 more.

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

(limited to 'opam')

diff --git a/opam b/opam
index 9508e5e6..0ff18a02 100644
--- a/opam
+++ b/opam
@@ -37,4 +37,4 @@ depends: [
   "conf-zlib"
   "yojson"
 ]
-available: [ocaml-version >= "4.06.0"]
+available: [ocaml-version >= "4.06.1"]
-- 
cgit v1.2.3


From d74ad78a26a92c054b93e4fdce9623d0fdca7edd Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 15 Mar 2019 16:45:53 +0000
Subject: Interactive: Auto-complete options and add hints

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

(limited to 'opam')

diff --git a/opam b/opam
index 0ff18a02..3377edf4 100644
--- a/opam
+++ b/opam
@@ -28,7 +28,7 @@ depends: [
   "ocamlbuild"
   "zarith"
   "menhir"
-  "linenoise"
+  "linenoise" {>= "1.1.0"}
   "ott" {>= "0.28"}
   "lem" {>= "2018-12-14"}
   "linksem" {>= "0.3"}
-- 
cgit v1.2.3


From aed0ec76a7497365ea436c4764f764e58ccc6685 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 22 Mar 2019 16:51:45 +0000
Subject: Bump opam version prior to future release.

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

(limited to 'opam')

diff --git a/opam b/opam
index 3377edf4..25cae76e 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "sail"
-version: "0.8"
+version: "0.9"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
-- 
cgit v1.2.3