From 4cbcc855382a06088e2f016f62cafdbcb7e40665 Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Sun, 20 Mar 2022 00:40:44 +0000
Subject: gentoo resync : 20.03.2022

---
 sci-mathematics/alectryon/metadata.xml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 sci-mathematics/alectryon/metadata.xml

(limited to 'sci-mathematics/alectryon/metadata.xml')

diff --git a/sci-mathematics/alectryon/metadata.xml b/sci-mathematics/alectryon/metadata.xml
new file mode 100644
index 000000000000..67c427e81f35
--- /dev/null
+++ b/sci-mathematics/alectryon/metadata.xml
@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+  <maintainer type="project">
+    <email>sci-mathematics@gentoo.org</email>
+    <name>Gentoo Mathematics Project</name>
+  </maintainer>
+  <longdescription>
+    A library to process Coq and Lean snippets embedded in text documents,
+    showing goals and messages for each input sentence. Also a literate
+    programming toolkit. The goal of Alectryon is to make it easy to write
+    textbooks, blog posts, and other documents that mix interactive proofs and
+    prose.
+    Alectryon originally supported Coq only. Support for Lean is preliminary
+    and restricted to Lean 3.
+  </longdescription>
+  <upstream>
+    <changelog>https://github.com/cpitclaudel/alectryon/releases/</changelog>
+    <bugs-to>https://github.com/cpitclaudel/alectryon/issues/</bugs-to>
+    <remote-id type="github">cpitclaudel/alectryon</remote-id>
+  </upstream>
+</pkgmetadata>
-- 
cgit v1.2.3