Update package authors

formalsec · Oct 16, 2024 · 613bee2 · 613bee2
1 parent 5081d97
commit 613bee2
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -11,7 +11,14 @@
 (source
  (github formalsec/smtml))
 
-(authors "Filipe Marques <[email protected]>")
+(authors
+ "João Pereira <[email protected]>"
+ "Filipe Marques <[email protected]>"
+ "Hichem Rami Ait El Hara <[email protected]>"
+ "Léo Andrès <[email protected]>"
+ "Arthur Carcano <[email protected]>"
+ "Pierre Chambart <[email protected]>"
+ "José Fragoso Santos <[email protected]>")
 
 (maintainers "Filipe Marques <[email protected]>")
 

diff --git a/smtml.opam b/smtml.opam
@@ -3,7 +3,15 @@ opam-version: "2.0"
 synopsis: "A Front-end library for SMT solvers in OCaml"
 description: "A Multi Back-end Front-end for SMT Solvers in OCaml."
 maintainer: ["Filipe Marques <[email protected]>"]
-authors: ["Filipe Marques <[email protected]>"]
+authors: [
+  "João Pereira <[email protected]>"
+  "Filipe Marques <[email protected]>"
+  "Hichem Rami Ait El Hara <[email protected]>"
+  "Léo Andrès <[email protected]>"
+  "Arthur Carcano <[email protected]>"
+  "Pierre Chambart <[email protected]>"
+  "José Fragoso Santos <[email protected]>"
+]
 license: "MIT"
 homepage: "https://github.com/formalsec/smtml"
 doc: "https://formalsec.github.io/smtml/smtml/index.html"