diff --git a/alt-ergo-lib.opam b/alt-ergo-lib.opam
index 1c1da3884..32b72ddc1 100644
--- a/alt-ergo-lib.opam
+++ b/alt-ergo-lib.opam
@@ -8,8 +8,8 @@ This is the core library used in the Alt-Ergo SMT solver.
 Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
 
 See more details on http://alt-ergo.ocamlpro.com/"""
-maintainer: ["Alt-Ergo developers"]
-authors: ["Alt-Ergo developers"]
+maintainer: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
+authors: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
 homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
diff --git a/alt-ergo-parsers.opam b/alt-ergo-parsers.opam
index 5acdb65ec..3349ef9f8 100644
--- a/alt-ergo-parsers.opam
+++ b/alt-ergo-parsers.opam
@@ -8,8 +8,8 @@ This is the parser library used in the Alt-Ergo SMT solver.
 Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
 
 See more details on http://alt-ergo.ocamlpro.com/"""
-maintainer: ["Alt-Ergo developers"]
-authors: ["Alt-Ergo developers"]
+maintainer: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
+authors: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
 homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
diff --git a/alt-ergo-plugin-ab-why3.opam b/alt-ergo-plugin-ab-why3.opam
index aab5a85fe..4f4bbc6b9 100644
--- a/alt-ergo-plugin-ab-why3.opam
+++ b/alt-ergo-plugin-ab-why3.opam
@@ -7,8 +7,8 @@ An experimental front-end that parses a subset of Why3's logic. More
 precisely, this front-end targets proof obligations generated by the
 Atelier-B framework in Why3 format. It should be used with a prelude
 defining the B Set theory."""
-maintainer: ["Alt-Ergo developers"]
-authors: ["Alt-Ergo developers"]
+maintainer: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
+authors: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
 license: "LGPL-2.1-only"
 homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
diff --git a/alt-ergo.opam b/alt-ergo.opam
index e07a855c6..cab36cf82 100644
--- a/alt-ergo.opam
+++ b/alt-ergo.opam
@@ -6,8 +6,8 @@ description: """
 Alt-Ergo is an automatic theorem prover of mathematical formulas. It was developed at LRI, and is now maintained at OCamlPro.
 
 See more details on https://alt-ergo.ocamlpro.com/"""
-maintainer: ["Alt-Ergo developers"]
-authors: ["Alt-Ergo developers"]
+maintainer: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
+authors: ["Alt-Ergo developers <alt-ergo@ocamlpro.com>"]
 homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"
diff --git a/dune-project b/dune-project
index ad75c3605..9e8a47ea7 100644
--- a/dune-project
+++ b/dune-project
@@ -8,8 +8,8 @@
 (using dune_site 0.1)
 
 (name alt-ergo)
-(authors "Alt-Ergo developers")
-(maintainers "Alt-Ergo developers")
+(authors "Alt-Ergo developers <alt-ergo@ocamlpro.com>")
+(maintainers "Alt-Ergo developers <alt-ergo@ocamlpro.com>")
 (source (github OCamlPro/alt-ergo))
 ; Not specifying bug_reports since it defaults to the github issue page
 (homepage "https://alt-ergo.ocamlpro.com/")