diff options
author | Maciej Barć <xgqt@gentoo.org> | 2021-11-27 22:59:08 +0100 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2021-11-27 22:59:17 +0100 |
commit | 283170e2f7762199a1c7bed9ca4b65d623d513b2 (patch) | |
tree | c8be32702001bd975cd29f0c72de0725604487eb /dev-lang | |
parent | profiles/package.mask: add bug IDs to my today's masks (diff) | |
download | gentoo-283170e2f7762199a1c7bed9ca4b65d623d513b2.tar.gz gentoo-283170e2f7762199a1c7bed9ca4b65d623d513b2.tar.bz2 gentoo-283170e2f7762199a1c7bed9ca4b65d623d513b2.zip |
dev-lang/idris2: fix remote-id
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-lang')
-rw-r--r-- | dev-lang/idris2/metadata.xml | 2 |
1 files changed, 1 insertions, 1 deletions
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> |