diff --git a/dune-project b/dune-project index 43df800eb88e247416fb491ba030b2fe56eb9b1f..498606f4cf375b69920347764b07c3cb76cd657d 100644 --- a/dune-project +++ b/dune-project @@ -49,7 +49,7 @@ (package (name colibri2) - (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand") + (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand" "Hichem Ait El Hara") (maintainers "François Bobot") (synopsis "A CP solver for smtlib") (description "A reimplementation of COLIBRI in OCaml")