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>