Prepare for new release.

1 files changed, 5 insertions, 3 deletions

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"