Gentoo Archives: gentoo-commits

From:	"Maciej Barć" <xgqt@g.o>
To:	gentoo-commits@l.g.o
Subject:	[gentoo-commits] repo/gentoo:master commit in: dev-lang/idris2/
Date:	Sat, 27 Nov 2021 21:59:22
Message-Id:	`1638050357.283170e2f7762199a1c7bed9ca4b65d623d513b2.xgqt@gentoo`

1	commit: 283170e2f7762199a1c7bed9ca4b65d623d513b2
2	Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
3	AuthorDate: Sat Nov 27 21:59:08 2021 +0000
4	Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
5	CommitDate: Sat Nov 27 21:59:17 2021 +0000
6	URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=283170e2
7
8	dev-lang/idris2: fix remote-id
9
10	Package-Manager: Portage-3.0.28, Repoman-3.0.3
11	Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
12
13	dev-lang/idris2/metadata.xml \| 2 +-
14	1 file changed, 1 insertion(+), 1 deletion(-)
15
16	diff --git a/dev-lang/idris2/metadata.xml b/dev-lang/idris2/metadata.xml
17	index 0c84b056b4e8..b8e693b1cb86 100644
18	--- a/dev-lang/idris2/metadata.xml
19	+++ b/dev-lang/idris2/metadata.xml
20	@@ -17,7 +17,7 @@
21	</longdescription>
22	<upstream>
23	<bugs-to>https://github.com/idris-lang/Idris2/issues</bugs-to>
24	- <remote-id type="github">idris-lang/Idris2></remote-id>
25	+ <remote-id type="github">idris-lang/Idris2</remote-id>
26	</upstream>
27	<use>
28	<flag name="chez">build using <pkg>dev-scheme/chez</pkg></flag>