From aa12c6fd9b32159c9f688ee2ecacf38b23d00ef9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= <gregoire.henry@tezos.com>
Date: Thu, 19 Apr 2018 12:02:23 +0200
Subject: [PATCH] Opam: fix alcotest version

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

diff --git a/src/lib_crypto/tezos-crypto.opam b/src/lib_crypto/tezos-crypto.opam
index 503a19a25..0652f40bc 100644
--- a/src/lib_crypto/tezos-crypto.opam
+++ b/src/lib_crypto/tezos-crypto.opam
@@ -20,7 +20,7 @@ depends: [
   "tweetnacl"
   "zarith"
   "secp256k1-internal"
-  "alcotest" { test }
+  "alcotest" { test & >= "0.8.3" }
 ]
 build: [
   [ "jbuilder" "build" "-p" name "-j" jobs ]