Skip to content

Commit

Permalink
Update authors
Browse files Browse the repository at this point in the history
  • Loading branch information
@mattam82
mattam82 committed Jul 1, 2022
1 parent d073f87 commit f170ec6
Show file tree
Hide file tree
Showing 6 changed files with 23 additions and 1 deletion.
3 changes: 3 additions & 0 deletions coq-metacoq-erasure.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 <[email protected]>"
"Danil Annenkov <[email protected]>"
"Simon Boulier <[email protected]>"
"Cyril Cohen <[email protected]>"
"Yannick Forster <[email protected]>"
"Fabian Kunze <[email protected]>"
"Meven Lennon-Bertrand <[email protected]>"
"Gregory Malecha <[email protected]>"
"Jakob Botsch Nielsen <[email protected]>"
"Matthieu Sozeau <[email protected]>"
"Nicolas Tabareau <[email protected]>"
"Théo Winterhalter <[email protected]>"
Expand Down
3 changes: 3 additions & 0 deletions coq-metacoq-pcuic.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 <[email protected]>"
"Danil Annenkov <[email protected]>"
"Simon Boulier <[email protected]>"
"Cyril Cohen <[email protected]>"
"Yannick Forster <[email protected]>"
"Fabian Kunze <[email protected]>"
"Meven Lennon-Bertrand <[email protected]>"
"Gregory Malecha <[email protected]>"
"Jakob Botsch Nielsen <[email protected]>"
"Matthieu Sozeau <[email protected]>"
"Nicolas Tabareau <[email protected]>"
"Théo Winterhalter <[email protected]>"
Expand Down
3 changes: 3 additions & 0 deletions coq-metacoq-safechecker.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 <[email protected]>"
"Danil Annenkov <[email protected]>"
"Simon Boulier <[email protected]>"
"Cyril Cohen <[email protected]>"
"Yannick Forster <[email protected]>"
"Fabian Kunze <[email protected]>"
"Meven Lennon-Bertrand <[email protected]>"
"Gregory Malecha <[email protected]>"
"Jakob Botsch Nielsen <[email protected]>"
"Matthieu Sozeau <[email protected]>"
"Nicolas Tabareau <[email protected]>"
"Théo Winterhalter <[email protected]>"
Expand Down
3 changes: 3 additions & 0 deletions coq-metacoq-template.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 <[email protected]>"
"Danil Annenkov <[email protected]>"
"Simon Boulier <[email protected]>"
"Cyril Cohen <[email protected]>"
"Yannick Forster <[email protected]>"
"Fabian Kunze <[email protected]>"
"Meven Lennon-Bertrand <[email protected]>"
"Gregory Malecha <[email protected]>"
"Jakob Botsch Nielsen <[email protected]>"
"Matthieu Sozeau <[email protected]>"
"Nicolas Tabareau <[email protected]>"
"Théo Winterhalter <[email protected]>"
Expand Down
9 changes: 8 additions & 1 deletion coq-metacoq-translations.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,15 @@ maintainer: "[email protected]"
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 <[email protected]>"
authors: ["Abhishek Anand <[email protected]>"
"Danil Annenkov <[email protected]>"
"Simon Boulier <[email protected]>"
"Cyril Cohen <[email protected]>"
"Yannick Forster <[email protected]>"
"Fabian Kunze <[email protected]>"
"Meven Lennon-Bertrand <[email protected]>"
"Gregory Malecha <[email protected]>"
"Jakob Botsch Nielsen <[email protected]>"
"Matthieu Sozeau <[email protected]>"
"Nicolas Tabareau <[email protected]>"
"Théo Winterhalter <[email protected]>"
Expand Down
3 changes: 3 additions & 0 deletions coq-metacoq.opam
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 <[email protected]>"
"Danil Annenkov <[email protected]>"
"Simon Boulier <[email protected]>"
"Cyril Cohen <[email protected]>"
"Yannick Forster <[email protected]>"
"Fabian Kunze <[email protected]>"
"Meven Lennon-Bertrand <[email protected]>"
"Gregory Malecha <[email protected]>"
"Jakob Botsch Nielsen <[email protected]>"
"Matthieu Sozeau <[email protected]>"
"Nicolas Tabareau <[email protected]>"
"Théo Winterhalter <[email protected]>"
Expand Down

0 comments on commit f170ec6

Please sign in to comment.