From 5028c8a845141825dcf53cfb713fe690f2f3433a Mon Sep 17 00:00:00 2001
From: Milo Davis <davis.mil@husky.neu.edu>
Date: Thu, 28 Sep 2017 10:00:18 +0200
Subject: [PATCH] Build: fix dependencies to synchronize irmin and irmin-unix

---
 src/tezos-deps.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tezos-deps.opam b/src/tezos-deps.opam
index 7035cbf16..002d6f6f0 100644
--- a/src/tezos-deps.opam
+++ b/src/tezos-deps.opam
@@ -23,7 +23,7 @@ depends: [
   "git"
   "git-unix"
   "irmin" {>= "1.3" }
-  "irmin-unix"
+  "irmin-unix" {>= "1.3" }
   "lwt" {>= "3.0.0" }
   "lwt_ssl"
   "menhir"