From e8d8f734755de66efbdf51436d85c5cefb67e04d Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Wed, 27 Mar 2019 17:37:35 +0100 Subject: [PATCH] Force sexplib version 0.11.0 --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 1e6af5e7..f3186018 100755 --- a/configure +++ b/configure @@ -60,7 +60,7 @@ function execute () { } PACKAGES="" -OCAML_PACKAGES="ocamlbuild cryptokit zmq sexplib ppx_sexp_conv ppx_deriving getopt" +OCAML_PACKAGES="ocamlbuild cryptokit zmq sexplib.v0.11.0 ppx_sexp_conv ppx_deriving getopt" while true ; do case "$1" in