commit: bbaacd6e91d8924ff601a62a7fe351cc4bd41ede
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 27 15:57:59 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Dec 27 15:59:33 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bbaacd6e
dev-lang/idris2: minor metadata changes; add changelog
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/idris2/metadata.xml | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/dev-lang/idris2/metadata.xml b/dev-lang/idris2/metadata.xml
index b8e693b1cb86..aab9447eef4a 100644
--- a/dev-lang/idris2/metadata.xml
+++ b/dev-lang/idris2/metadata.xml
@@ -6,7 +6,7 @@
<email>[email protected]</email>
<name>Gentoo Scheme Project</name>
</maintainer>
- <longdescription lang="en">
+ <longdescription>
Idris is a programming language designed to encourage Type-Driven
Development.
In type-driven development, types are tools for constructing programs.
@@ -16,7 +16,10 @@
the more confidence we can have that the resulting program will be correct.
</longdescription>
<upstream>
- <bugs-to>https://github.com/idris-lang/Idris2/issues</bugs-to>
+ <bugs-to>https://github.com/idris-lang/Idris2/issues/</bugs-to>
+ <changelog>
+ https://github.com/idris-lang/Idris2/blob/main/CHANGELOG.md
+ </changelog>
<remote-id type="github">idris-lang/Idris2</remote-id>
</upstream>
<use>
