gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/coq: update metadata

Browse Source 
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2022-02-27 04:47:24 +01:00
parent eb8c8187cf
commit 68e5ed5048
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
sci-mathematics/coq/metadata.xml
View File

@@ -5,7 +5,7 @@
<email>sci-mathematics@gentoo.org</email>
<name>Gentoo Mathematics Project</name>
</maintainer>
<longdescription lang="en">
<longdescription>
Developed in the LogiCal project, the Coq tool is a formal proof
management system: a proof done with Coq is mechanically checked
by the machine.
@@ -21,6 +21,8 @@
theories.
</longdescription>
<upstream>
<changelog>https://github.com/coq/coq/releases/</changelog>
<bugs-to>https://github.com/coq/coq/issues/</bugs-to>
<remote-id type="github">coq/coq</remote-id>
</upstream>
</pkgmetadata>