From ccc7e5c4538b4e3d6071c566ce2d201e7dce870f Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Fri, 27 Oct 2023 16:12:50 +0200 Subject: [PATCH] Add ocamlzip lower bound to ensure Gzip.output_substring is available --- lbvs_consent.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lbvs_consent.opam b/lbvs_consent.opam index cd13275..c4fe756 100644 --- a/lbvs_consent.opam +++ b/lbvs_consent.opam @@ -20,7 +20,7 @@ depends: [ "bitv" {>= "1.2"} "parany" {>= "13.1.0"} # we need Parany.get_rank() "dolog" {>= "4.0.0"} - "camlzip" + "camlzip" {>= "1.06"} "qcheck" "vpt" "cpm" {>= "4.0.0"}