| 1 |
commit: 68e5ed5048d82c4e532f39a0b6e1e7aee859948e |
| 2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sun Feb 27 03:47:24 2022 +0000 |
| 4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sun Feb 27 03:47:24 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=68e5ed50 |
| 7 |
|
| 8 |
sci-mathematics/coq: update metadata |
| 9 |
|
| 10 |
Package-Manager: Portage-3.0.30, Repoman-3.0.3 |
| 11 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
| 12 |
|
| 13 |
sci-mathematics/coq/metadata.xml | 4 +++- |
| 14 |
1 file changed, 3 insertions(+), 1 deletion(-) |
| 15 |
|
| 16 |
diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml |
| 17 |
index 3a90dda7ec2e..bb29aa903edb 100644 |
| 18 |
--- a/sci-mathematics/coq/metadata.xml |
| 19 |
+++ b/sci-mathematics/coq/metadata.xml |
| 20 |
@@ -5,7 +5,7 @@ |
| 21 |
<email>sci-mathematics@g.o</email> |
| 22 |
<name>Gentoo Mathematics Project</name> |
| 23 |
</maintainer> |
| 24 |
- <longdescription lang="en"> |
| 25 |
+ <longdescription> |
| 26 |
Developed in the LogiCal project, the Coq tool is a formal proof |
| 27 |
management system: a proof done with Coq is mechanically checked |
| 28 |
by the machine. |
| 29 |
@@ -21,6 +21,8 @@ |
| 30 |
theories. |
| 31 |
</longdescription> |
| 32 |
<upstream> |
| 33 |
+ <changelog>https://github.com/coq/coq/releases/</changelog> |
| 34 |
+ <bugs-to>https://github.com/coq/coq/issues/</bugs-to> |
| 35 |
<remote-id type="github">coq/coq</remote-id> |
| 36 |
</upstream> |
| 37 |
</pkgmetadata> |
Archives