From 3517852e3b8a68d1e997770fc0650c5053bafc6c Mon Sep 17 00:00:00 2001
From: V3n3RiX <venerix@koprulu.sector>
Date: Tue, 4 Jan 2022 01:27:12 +0000
Subject: gentoo resync : 04.01.2022

---
 dev-lang/idris2/Manifest     | 2 +-
 dev-lang/idris2/metadata.xml | 7 +++++--
 2 files changed, 6 insertions(+), 3 deletions(-)

(limited to 'dev-lang/idris2')

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>
-- 
cgit v1.2.3