From a1acadf6e18d37214a06a96fab31c6f5314b7732 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Sat, 18 Jun 2022 23:57:05 +0200
Subject: [PATCH] Add missing why3 dependency for colibrics

---
 colibrics.opam | 1 +
 dune-project   | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/colibrics.opam b/colibrics.opam
index 82d417d9f..049ada9e4 100644
--- a/colibrics.opam
+++ b/colibrics.opam
@@ -18,6 +18,7 @@ depends: [
   "core" {>= "v0.14.1"}
   "jingoo"
   "logs"
+  "why3"
   "odoc" {with-doc}
 ]
 build: [
diff --git a/dune-project b/dune-project
index 2a849ac5a..4b87f28dd 100644
--- a/dune-project
+++ b/dune-project
@@ -27,6 +27,7 @@
     ("ocaml" (>= "4.08"))
     ("core" (>= "v0.14.1"))
     "jingoo" "logs"
+    "why3"
   )
 )
 
@@ -43,7 +44,7 @@
 
 
 (package (name colibri2)
-         (authors "François Bobot" "Guillaume Bury" "Stéphane Graham-Lengrand" "Bruno Marre")
+         (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand")
          (maintainers "François Bobot")
          (license LGPL-3.0-only)
          (synopsis "A CP solver for smtlib")
-- 
GitLab