From 5ed1031d6ff91f61baf3d14a7a6c1c1129487c42 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Mon, 19 Aug 2024 14:08:58 +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 fa7bd90..16a4d20 100644 --- a/README.md +++ b/README.md @@ -49,6 +49,7 @@ notations. - Robbert Krebbers (initial) - Coq-community maintainer(s): - Bas Spitters ([**@spitters**](https://github.com/spitters)) + - Xia Li-yao ([**@Lysxia**](https://github.com/Lysxia)) - License: [MIT License](LICENSE) - Compatible Coq versions: Coq 8.18 or later (use releases for other Coq versions) - Additional dependencies: diff --git a/meta.yml b/meta.yml index bd0d312..80c7b8f 100644 --- a/meta.yml +++ b/meta.yml @@ -41,6 +41,8 @@ authors: maintainers: - name: Bas Spitters nickname: spitters +- name: Xia Li-yao + nickname: Lysxia opam-file-maintainer: b.a.w.spitters@gmail.com