diff --git a/dune-project b/dune-project
index c4746be6..e7d8d609 100644
--- a/dune-project
+++ b/dune-project
@@ -11,7 +11,14 @@
 (source
  (github formalsec/smtml))
 
-(authors "Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>")
+(authors
+ "João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"
+ "Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"
+ "Hichem Rami Ait El Hara <hra@ocamlpro.com>"
+ "Léo Andrès <contact@ndrs.fr>"
+ "Arthur Carcano <arthur.carcano@ocamlpro.com>"
+ "Pierre Chambart <pierre.chambart@ocamlpro.com>"
+ "José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>")
 
 (maintainers "Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>")
 
diff --git a/smtml.opam b/smtml.opam
index aa1713bd..3cffb101 100644
--- 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 <filipe.s.marques@tecnico.ulisboa.pt>"]
-authors: ["Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"]
+authors: [
+  "João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"
+  "Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt>"
+  "Hichem Rami Ait El Hara <hra@ocamlpro.com>"
+  "Léo Andrès <contact@ndrs.fr>"
+  "Arthur Carcano <arthur.carcano@ocamlpro.com>"
+  "Pierre Chambart <pierre.chambart@ocamlpro.com>"
+  "José Fragoso Santos <jose.fragoso@tecnico.ulisboa.pt>"
+]
 license: "MIT"
 homepage: "https://github.com/formalsec/smtml"
 doc: "https://formalsec.github.io/smtml/smtml/index.html"