Add email address

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 <[email protected]>"]
+authors: ["Alt-Ergo developers <[email protected]>"]
 homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"

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 <[email protected]>"]
+authors: ["Alt-Ergo developers <[email protected]>"]
 homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"

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 <[email protected]>"]
+authors: ["Alt-Ergo developers <[email protected]>"]
 license: "LGPL-2.1-only"
 homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"

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 <[email protected]>"]
+authors: ["Alt-Ergo developers <[email protected]>"]
 homepage: "https://alt-ergo.ocamlpro.com/"
 doc: "https://ocamlpro.github.io/alt-ergo"
 bug-reports: "https://github.com/OCamlPro/alt-ergo/issues"

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 <[email protected]>")
+(maintainers "Alt-Ergo developers <[email protected]>")
 (source (github OCamlPro/alt-ergo))
 ; Not specifying bug_reports since it defaults to the github issue page
 (homepage "https://alt-ergo.ocamlpro.com/")