diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2021-12-27 16:57:59 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2021-12-27 16:59:33 +0100 |
| commit | bbaacd6e91d8924ff601a62a7fe351cc4bd41ede (patch) | |
| tree | e94722b3c16e9a86b4a8a047ab5b5551e4722766 /dev-lang/idris2 | |
| parent | media-radio/tucnak: Fix Manifest (diff) | |
| download | gentoo-bbaacd6e91d8924ff601a62a7fe351cc4bd41ede.tar.gz gentoo-bbaacd6e91d8924ff601a62a7fe351cc4bd41ede.tar.bz2 gentoo-bbaacd6e91d8924ff601a62a7fe351cc4bd41ede.zip | |
dev-lang/idris2: minor metadata changes; add changelog
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang/idris2')
| -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> |