diff --git a/opam b/opam index 3e99c4d8e557f9f68b9b50f8ffb89125f3521478..70429cf534dd0260a688aeeead433df9b261d0be 100644 --- a/opam +++ b/opam @@ -17,7 +17,7 @@ Thanks to this approach, Frama-C provides sophisticated tools, including: These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. """ -maintainer: "francois.bobot@cea.fr" +maintainer: "frama-ci-bot@frama-c.com" authors: [ "Michele Alberti" "Thibaud Antignac"