From b46cb6487932767027ffa7095dda81e4a6d17e86 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Mon, 19 Aug 2024 14:12:07 +0200 Subject: [PATCH] Update maintainer list in README. --- README.md | 1 + meta.yml | 2 ++ 2 files changed, 3 insertions(+) diff --git a/README.md b/README.md index da435b57..88a10c1f 100644 --- a/README.md +++ b/README.md @@ -86,6 +86,7 @@ CoRN includes the following parts: - Coq-community maintainer(s): - Bas Spitters ([**@spitters**](https://github.com/spitters)) - Vincent Semeria ([**@vincentse**](https://github.com/vincentse)) + - Xia Li-yao ([**@Lysxia**](https://github.com/Lysxia)) - License: [GNU General Public License v2](LICENSE) - Compatible Coq versions: Coq 8.18 or greater - Additional dependencies: diff --git a/meta.yml b/meta.yml index c75d8f09..b513fcb7 100644 --- a/meta.yml +++ b/meta.yml @@ -71,6 +71,8 @@ maintainers: nickname: spitters - name: Vincent Semeria nickname: vincentse +- name: Xia Li-yao + nickname: Lysxia opam-file-maintainer: b.a.w.spitters@gmail.com