diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-02-27 04:47:24 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-02-27 04:47:24 +0100 |
| commit | 68e5ed5048d82c4e532f39a0b6e1e7aee859948e (patch) | |
| tree | 958ed9fcbe5c72d70792fb3f0cdab44880eb07b5 /sci-mathematics/coq/metadata.xml | |
| parent | media-gfx/ansilove: update metadata (diff) | |
| download | gentoo-68e5ed5048d82c4e532f39a0b6e1e7aee859948e.tar.gz gentoo-68e5ed5048d82c4e532f39a0b6e1e7aee859948e.tar.bz2 gentoo-68e5ed5048d82c4e532f39a0b6e1e7aee859948e.zip | |
sci-mathematics/coq: update metadata
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq/metadata.xml')
| -rw-r--r-- | sci-mathematics/coq/metadata.xml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/sci-mathematics/coq/metadata.xml b/sci-mathematics/coq/metadata.xml index 3a90dda7ec2e..bb29aa903edb 100644 --- a/sci-mathematics/coq/metadata.xml +++ b/sci-mathematics/coq/metadata.xml @@ -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> |