From 7bdcdcc7abdde74993020d1f2c33ea00d6784fc4 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 13 Jul 2018 12:14:17 +0100
Subject: prepare for new opam release

---
 opam | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'opam')

diff --git a/opam b/opam
index 3e3c93a9..be29c2ef 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "sail"
-version: "0.2"
+version: "0.3"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
@@ -29,6 +29,6 @@ depends: [
   "linenoise"
   "ott" {>= "0.28"}
   "lem"
-  "linksem" {>= "0.2"}
+  "linksem" {>= "0.3"}
 ]
 available: [ocaml-version >= "4.02.3"]
-- 
cgit v1.2.3