From f170ec653edafebfb2ffd6fe44f6cdfafafe1f51 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <mattam@mattam.org>
Date: Fri, 1 Jul 2022 14:28:04 +0200
Subject: [PATCH] Update authors

---
 coq-metacoq-erasure.opam      | 3 +++
 coq-metacoq-pcuic.opam        | 3 +++
 coq-metacoq-safechecker.opam  | 3 +++
 coq-metacoq-template.opam     | 3 +++
 coq-metacoq-translations.opam | 9 ++++++++-
 coq-metacoq.opam              | 3 +++
 6 files changed, 23 insertions(+), 1 deletion(-)

diff --git a/coq-metacoq-erasure.opam b/coq-metacoq-erasure.opam
index 6d8d7138c..459a1d414 100644
--- a/coq-metacoq-erasure.opam
+++ b/coq-metacoq-erasure.opam
@@ -5,11 +5,14 @@ homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
+          "Danil Annenkov <danil.v.annenkov@gmail.com>"
           "Simon Boulier <simon.boulier@inria.fr>"
           "Cyril Cohen <cyril.cohen@inria.fr>"
           "Yannick Forster <forster@ps.uni-saarland.de>"
           "Fabian Kunze <fkunze@fakusb.de>"
+          "Meven Lennon-Bertrand <Meven.Bertrand@univ-nantes.fr>"
           "Gregory Malecha <gmalecha@gmail.com>"
+          "Jakob Botsch Nielsen <Jakob.botsch.nielsen@gmail.com>"
           "Matthieu Sozeau <matthieu.sozeau@inria.fr>"
           "Nicolas Tabareau <nicolas.tabareau@inria.fr>"
           "Théo Winterhalter <theo.winterhalter@inria.fr>"
diff --git a/coq-metacoq-pcuic.opam b/coq-metacoq-pcuic.opam
index 194447abe..3efeb0363 100644
--- a/coq-metacoq-pcuic.opam
+++ b/coq-metacoq-pcuic.opam
@@ -5,11 +5,14 @@ homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
+          "Danil Annenkov <danil.v.annenkov@gmail.com>"
           "Simon Boulier <simon.boulier@inria.fr>"
           "Cyril Cohen <cyril.cohen@inria.fr>"
           "Yannick Forster <forster@ps.uni-saarland.de>"
           "Fabian Kunze <fkunze@fakusb.de>"
+          "Meven Lennon-Bertrand <Meven.Bertrand@univ-nantes.fr>"
           "Gregory Malecha <gmalecha@gmail.com>"
+          "Jakob Botsch Nielsen <Jakob.botsch.nielsen@gmail.com>"
           "Matthieu Sozeau <matthieu.sozeau@inria.fr>"
           "Nicolas Tabareau <nicolas.tabareau@inria.fr>"
           "Théo Winterhalter <theo.winterhalter@inria.fr>"
diff --git a/coq-metacoq-safechecker.opam b/coq-metacoq-safechecker.opam
index d831ee164..dcb9d8e8c 100644
--- a/coq-metacoq-safechecker.opam
+++ b/coq-metacoq-safechecker.opam
@@ -5,11 +5,14 @@ homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
+          "Danil Annenkov <danil.v.annenkov@gmail.com>"
           "Simon Boulier <simon.boulier@inria.fr>"
           "Cyril Cohen <cyril.cohen@inria.fr>"
           "Yannick Forster <forster@ps.uni-saarland.de>"
           "Fabian Kunze <fkunze@fakusb.de>"
+          "Meven Lennon-Bertrand <Meven.Bertrand@univ-nantes.fr>"
           "Gregory Malecha <gmalecha@gmail.com>"
+          "Jakob Botsch Nielsen <Jakob.botsch.nielsen@gmail.com>"
           "Matthieu Sozeau <matthieu.sozeau@inria.fr>"
           "Nicolas Tabareau <nicolas.tabareau@inria.fr>"
           "Théo Winterhalter <theo.winterhalter@inria.fr>"
diff --git a/coq-metacoq-template.opam b/coq-metacoq-template.opam
index 8be59798b..6f4ec5474 100644
--- a/coq-metacoq-template.opam
+++ b/coq-metacoq-template.opam
@@ -5,11 +5,14 @@ homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
+          "Danil Annenkov <danil.v.annenkov@gmail.com>"
           "Simon Boulier <simon.boulier@inria.fr>"
           "Cyril Cohen <cyril.cohen@inria.fr>"
           "Yannick Forster <forster@ps.uni-saarland.de>"
           "Fabian Kunze <fkunze@fakusb.de>"
+          "Meven Lennon-Bertrand <Meven.Bertrand@univ-nantes.fr>"
           "Gregory Malecha <gmalecha@gmail.com>"
+          "Jakob Botsch Nielsen <Jakob.botsch.nielsen@gmail.com>"
           "Matthieu Sozeau <matthieu.sozeau@inria.fr>"
           "Nicolas Tabareau <nicolas.tabareau@inria.fr>"
           "Théo Winterhalter <theo.winterhalter@inria.fr>"
diff --git a/coq-metacoq-translations.opam b/coq-metacoq-translations.opam
index f3ea845f9..f85d933fd 100644
--- a/coq-metacoq-translations.opam
+++ b/coq-metacoq-translations.opam
@@ -4,8 +4,15 @@ maintainer: "matthieu.sozeau@inria.fr"
 homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
-authors: ["Simon Boulier <simon.boulier@inria.fr>"
+authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
+          "Danil Annenkov <danil.v.annenkov@gmail.com>"
+          "Simon Boulier <simon.boulier@inria.fr>"
           "Cyril Cohen <cyril.cohen@inria.fr>"
+          "Yannick Forster <forster@ps.uni-saarland.de>"
+          "Fabian Kunze <fkunze@fakusb.de>"
+          "Meven Lennon-Bertrand <Meven.Bertrand@univ-nantes.fr>"
+          "Gregory Malecha <gmalecha@gmail.com>"
+          "Jakob Botsch Nielsen <Jakob.botsch.nielsen@gmail.com>"
           "Matthieu Sozeau <matthieu.sozeau@inria.fr>"
           "Nicolas Tabareau <nicolas.tabareau@inria.fr>"
           "Théo Winterhalter <theo.winterhalter@inria.fr>"
diff --git a/coq-metacoq.opam b/coq-metacoq.opam
index e825f201b..ce8b13c99 100644
--- a/coq-metacoq.opam
+++ b/coq-metacoq.opam
@@ -5,11 +5,14 @@ homepage: "https://metacoq.github.io/metacoq"
 dev-repo: "git+https://github.com/MetaCoq/metacoq.git#coq-8.16"
 bug-reports: "https://github.com/MetaCoq/metacoq/issues"
 authors: ["Abhishek Anand <aa755@cs.cornell.edu>"
+          "Danil Annenkov <danil.v.annenkov@gmail.com>"
           "Simon Boulier <simon.boulier@inria.fr>"
           "Cyril Cohen <cyril.cohen@inria.fr>"
           "Yannick Forster <forster@ps.uni-saarland.de>"
           "Fabian Kunze <fkunze@fakusb.de>"
+          "Meven Lennon-Bertrand <Meven.Bertrand@univ-nantes.fr>"
           "Gregory Malecha <gmalecha@gmail.com>"
+          "Jakob Botsch Nielsen <Jakob.botsch.nielsen@gmail.com>"
           "Matthieu Sozeau <matthieu.sozeau@inria.fr>"
           "Nicolas Tabareau <nicolas.tabareau@inria.fr>"
           "Théo Winterhalter <theo.winterhalter@inria.fr>"