diff --git a/colibrics.opam b/colibrics.opam
index 82d417d9fe3d7495f20de2b131b2eb797c3ba991..049ada9e456f6ce828a6f3b433b3ceb69c5d1746 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 2a849ac5a422e9d7b0fad8479fbf5b5bcf8fa359..4b87f28dd77dd797a60fb22b4c1063040e61a9f0 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")