From bfb20a209d1b72c832b4376d6d3c51d39970ef2f Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 14 Dec 2018 11:30:30 +0000
Subject: Prepare for new release.

---
 opam | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'opam')

diff --git a/opam b/opam
index 05e8e22e..023285ef 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "sail"
-version: "0.5"
+version: "0.6"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
@@ -20,7 +20,9 @@ license: "BSD3"
 dev-repo: "https://github.com/rems-project/sail.git"
 build: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "isail"]
 install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "install"]
-remove: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "uninstall"]
+remove: [
+  make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "uninstall"
+]
 depends: [
   "ocamlfind"
   "ocamlbuild"
@@ -28,7 +30,7 @@ depends: [
   "menhir"
   "linenoise"
   "ott" {>= "0.28"}
-  "lem"
+  "lem" {>= "2018-12-14"}
   "linksem" {>= "0.3"}
   "omd"
   "conf-gmp"
-- 
cgit v1.2.3