From bd91cf14d202800bcd7450869715f0373b96c190 Mon Sep 17 00:00:00 2001
From: hra687261 <hichem.ait-el-hara@ocamlpro.com>
Date: Sun, 9 Jul 2023 10:41:29 +0200
Subject: [PATCH] Restrict core version to < v0.16.0
---
colibrics.opam | 2 +-
dune-project | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/colibrics.opam b/colibrics.opam
index 7fd8ae3ac..9e8bb4a44 100644
--- a/colibrics.opam
+++ b/colibrics.opam
@@ -16,7 +16,7 @@ depends: [
"zarith" {>= "1.12"}
"cmdliner" {>= "1.1.1"}
"ocaml" {>= "4.08"}
- "core" {>= "v0.14.1"}
+ "core" {>= "v0.14.1" & < "v0.16.0"}
"jingoo" {>= "1.4.4"}
"logs" {>= "0.7.0"}
"why3" {>= "1.4.0"}
diff --git a/dune-project b/dune-project
index 2d28d31dc..27fd3f920 100644
--- a/dune-project
+++ b/dune-project
@@ -26,7 +26,7 @@
("zarith" (>= "1.12"))
("cmdliner" (>= 1.1.1))
("ocaml" (>= "4.08"))
- ("core" (>= "v0.14.1"))
+ ("core" (and (>= "v0.14.1") (< "v0.16.0")))
("jingoo" (>= "1.4.4"))
("logs" (>= "0.7.0"))
("why3" (>= "1.4.0"))
--
GitLab