From 0dc2591f900ede016b4550854f0af2a3b92a05da Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 28 Apr 2018 16:23:13 +0200 Subject: [PATCH] require sexplib < v0.11.0 to avoid base dependency --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/opam b/opam index 039e948c..5f954178 100644 --- a/opam +++ b/opam @@ -23,7 +23,7 @@ depends: [ "topkg" {build} "result" "cstruct" {>= "1.6.0"} - "sexplib" + "sexplib" {< "v0.11.0"} "asn1-combinators" {>= "0.2.0"} "ptime" "nocrypto" {>= "0.5.3"}