diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
commit | 3517852e3b8a68d1e997770fc0650c5053bafc6c (patch) | |
tree | 44068672445b1418489aed82de58df3c470289e7 /dev-lang/idris2/metadata.xml | |
parent | 0f15659d48c193027158492acb726297501202c5 (diff) |
gentoo resync : 04.01.2022
Diffstat (limited to 'dev-lang/idris2/metadata.xml')
-rw-r--r-- | dev-lang/idris2/metadata.xml | 7 |
1 files 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>scheme@gentoo.org</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> |