From 3914cc33de67cab90b9d3347cfc369d73846c5ea Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 19 Nov 2018 16:25:35 +0000
Subject: prep for opam release with new latex.

---
 opam | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/opam b/opam
index a0a7792f..05e8e22e 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "sail"
-version: "0.4"
+version: "0.5"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
@@ -30,5 +30,8 @@ depends: [
   "ott" {>= "0.28"}
   "lem"
   "linksem" {>= "0.3"}
+  "omd"
+  "conf-gmp"
+  "conf-zlib"
 ]
 available: [ocaml-version >= "4.06.0"]
-- 
cgit v1.2.3