dev-lang/idris2: fix remote-id

Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <[email protected]>
johu · Nov 27, 2021 · 283170e · 283170e
1 parent e7f31f6
commit 283170e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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>