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 | |
| parent | 0f15659d48c193027158492acb726297501202c5 (diff) | |
gentoo resync : 04.01.2022
Diffstat (limited to 'dev-lang/idris2')
| -rw-r--r-- | dev-lang/idris2/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/idris2/metadata.xml | 7 |
2 files changed, 6 insertions, 3 deletions
diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest index 80686c458eef..90f8db27c613 100644 --- a/dev-lang/idris2/Manifest +++ b/dev-lang/idris2/Manifest @@ -1,3 +1,3 @@ DIST idris2-0.5.1_p20211112.tar.gz 6202861 BLAKE2B 189bf28c7a33281494edea9b2c0821a934000fe9ca6e929b3318fe33576553142e5ad8d81598249cc384c6e342491ccef0998f33a4f2940b80264f5a3e4b32b2 SHA512 3b419ddbdc4aa3a28d92bf204448090c168d6a844d570886f982129f9e650c7112bbf95b727baf6c9f0f2fd6200c75eb68b6b71fd8684e01365eaf964dea1ea1 EBUILD idris2-0.5.1_p20211112.ebuild 2513 BLAKE2B cdccbb2fc573524f2fa484c0601f427402055635a1f177a3417db2ce76bfc379380127dbe3a3105befebe4bd18d19d21030ebe527868cb256a5a2ad0346472fe SHA512 1bcb672978151e1d62ee6d057b6a7ee2a9e70988f346914a59375be96f0ca4fc126f32410d573fdb81be27c303bfc88e00475edf26c678621209c600251b5301 -MISC metadata.xml 1164 BLAKE2B d15ac3ae55a531d9f3c4f129206154a4bd5c1ab9adc2d070464d757d542c0a989a4911a9310ea6cfe91ea6016060b477c1de2f53e29b4e2a811c97e4edab6067 SHA512 7436fbad2a6fb17b3e54ddea5c5ddeecb30d8fb17903dd12422e5b463c6ada84840aa0cd4bbaaa4a565365c126843f5084f7ff41938f90411bb6f44e791955fb +MISC metadata.xml 1254 BLAKE2B bda411bfd779d576f5c8fdc374f7289ee11d04edefe6308bc7c2c50c92c5d881c51475cf252e5402187779bb9317f1d47d66ea4d324f66db314ff7a7b9d493ab SHA512 4bda5aaf00c768e19b92f5e9f15bec2dcd2d8286d04016f2e30fa512fcb5f5842e735c86c61d38577c2530a67c0b0f70f7e801d57f3ae7b780161f83af50b0cd 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> |