diff options
Diffstat (limited to 'dev-lang/idris2/metadata.xml')
| -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> |