From c9482f5d46497baedb94e12127b236d1b664713f Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Fri, 30 Jun 2023 21:57:27 +0200
Subject: [PATCH] add basic meta.yml, generate README.md from templates

---
 README.md | 23 +++++++++++++++++++++--
 meta.yml  | 41 +++++++++++++++++++++++++++++++++++++++++
 2 files changed, 62 insertions(+), 2 deletions(-)
 create mode 100644 meta.yml

diff --git a/README.md b/README.md
index d952fc3..5c4378d 100644
--- a/README.md
+++ b/README.md
@@ -1,9 +1,14 @@
+<!---
+This file was generated from `meta.yml`, please do not edit manually.
+Follow the instructions on https://github.com/coq-community/templates to regenerate.
+--->
 # Rosetta stone of metaprogramming in Coq
 
 [![Contributing][contributing-shield]][contributing-link]
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
 
+
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md
 
@@ -11,7 +16,13 @@
 [conduct-link]: https://github.com/coq-community/manifesto/blob/master/CODE_OF_CONDUCT.md
 
 [zulip-shield]: https://img.shields.io/badge/chat-on%20zulip-%23c1272d.svg
-[zulip-link]: https://coq.zulipchat.com/#narrow/stream/373964-CUDW-2023/topic/Rosetta.20stone.20of.20extension.20languages
+[zulip-link]: https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs.20.26.20users
+
+
+
+A rosetta stone for metaprogramming in Coq, with different examples
+of tactics, plugins, etc., implemented in different metaprogramming
+languages such as OCaml and Elpi.
 
 ## Meta
 
@@ -28,4 +39,12 @@
   - Yannick Forster ([**@yforster**](https://github.com/yforster))
 - License: [MIT License](LICENSE)
 - Compatible Coq versions: 8.17
-- Additional dependencies: multiple, see READMEs in directories
+- Additional dependencies: none
+- Related publication(s): none
+
+## Building
+
+See the README in each subdirectory for information about dependencies
+and building instructions.
+
+
diff --git a/meta.yml b/meta.yml
new file mode 100644
index 0000000..72660d0
--- /dev/null
+++ b/meta.yml
@@ -0,0 +1,41 @@
+---
+fullname: Rosetta stone of metaprogramming in Coq
+shortname: metaprogramming-rosetta-stone
+organization: coq-community
+community: true
+
+synopsis: Examples of Coq tactics, plugins, etc., implemented in different metaprogramming languages
+
+description: |-
+  A rosetta stone for metaprogramming in Coq, with different examples
+  of tactics, plugins, etc., implemented in different metaprogramming
+  languages such as OCaml and Elpi.
+
+authors:
+- name: Enzo Crance
+- name: Davide Fissore
+- name: Yannick Forster
+- name: Gaëtan Gilbert
+- name: Talia Ringer
+- name: Michael Soegtrop
+- name: Enrico Tassi
+- name: Tomas Vallejos
+
+maintainers:
+- name: Yannick Forster
+  nickname: yforster
+
+license:
+  fullname: MIT License
+  identifier: MIT
+
+supported_coq_versions:
+  text: 8.17
+  opam: '{>= "8.17" & < "8.18~"}'
+
+build: |-
+  ## Building
+
+  See the README in each subdirectory for information about dependencies
+  and building instructions.
+---