diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-12-24 02:00:51 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-24 02:00:51 +0000 |
commit | 4583148f2657a7a66fd68b25c9fab02be110c989 (patch) | |
tree | bd7f7afcfa312044a00e9f1207eecdd9802055bc /dev-ml/coq-menhirlib/metadata.xml | |
parent | edb8ee6f86e56d25f82a4f088a4504c903aede08 (diff) |
gentoo auto-resync : 24:12:2022 - 02:00:50
Diffstat (limited to 'dev-ml/coq-menhirlib/metadata.xml')
-rw-r--r-- | dev-ml/coq-menhirlib/metadata.xml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/dev-ml/coq-menhirlib/metadata.xml b/dev-ml/coq-menhirlib/metadata.xml new file mode 100644 index 000000000000..ff5a0cd1ae3d --- /dev/null +++ b/dev-ml/coq-menhirlib/metadata.xml @@ -0,0 +1,8 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> +</pkgmetadata> |