commit: 283170e2f7762199a1c7bed9ca4b65d623d513b2
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 27 21:59:08 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Nov 27 21:59:17 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=283170e2
dev-lang/idris2: fix remote-id
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
dev-lang/idris2/metadata.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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>
