From 283170e2f7762199a1c7bed9ca4b65d623d513b2 Mon Sep 17 00:00:00 2001
From: Maciej Barć <xgqt@gentoo.org>
Date: Sat, 27 Nov 2021 22:59:08 +0100
Subject: dev-lang/idris2: fix remote-id
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
---
 dev-lang/idris2/metadata.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev-lang')

diff --git a/dev-lang/idris2/metadata.xml b/dev-lang/idris2/metadata.xml
index 0c84b056b4e8..b8e693b1cb86 100644
--- a/dev-lang/idris2/metadata.xml
+++ b/dev-lang/idris2/metadata.xml
@@ -17,7 +17,7 @@
   </longdescription>
   <upstream>
     <bugs-to>https://github.com/idris-lang/Idris2/issues</bugs-to>
-    <remote-id type="github">idris-lang/Idris2></remote-id>
+    <remote-id type="github">idris-lang/Idris2</remote-id>
   </upstream>
   <use>
     <flag name="chez">build using <pkg>dev-scheme/chez</pkg></flag>
-- 
cgit v1.2.3-65-gdbad