From bcad90b331520bfdd230c44fc4fee802cf056f46 Mon Sep 17 00:00:00 2001
From: "Hichem R. A" <hichem.ait-el-hara@ocamlpro.com>
Date: Mon, 3 Apr 2023 10:40:45 +0000
Subject: [PATCH] Update dune-project, colibri2.opam

---
 colibri2.opam | 2 +-
 dune-project  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/colibri2.opam b/colibri2.opam
index 893f9f0fe..7c118ea65 100644
--- a/colibri2.opam
+++ b/colibri2.opam
@@ -8,7 +8,7 @@ authors: [
   "Bruno Marre"
   "Guillaume Bury"
   "Stéphane Graham-Lengrand"
-  "Hichem Ait El Hara"
+  "Hichem Rami Ait El Hara"
 ]
 license: "LGPL-2.1-only"
 homepage: "https://colibri.frama-c.com"
diff --git a/dune-project b/dune-project
index 498606f4c..6f44e2695 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" "Hichem Ait El Hara")
+         (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand" "Hichem Rami Ait El Hara")
          (maintainers "François Bobot")
          (synopsis "A CP solver for smtlib")
          (description "A reimplementation of COLIBRI in OCaml")
-- 
GitLab