Gentoo Archives: gentoo-commits

From:	Florian Schmaus <flow@g.o>
To:	gentoo-commits@l.g.o
Subject:	[gentoo-commits] repo/proj/guru:master commit in: /
Date:	Wed, 20 Oct 2021 08:55:14
Message-Id:	`1634697165.7787fd96147612b5e88ae3b92ad27e54cc5de261.flow@gentoo`

1	commit: 7787fd96147612b5e88ae3b92ad27e54cc5de261
2	Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
3	AuthorDate: Wed Oct 20 02:32:45 2021 +0000
4	Commit: Florian Schmaus <flow <AT> gentoo <DOT> org>
5	CommitDate: Wed Oct 20 02:32:45 2021 +0000
6	URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=7787fd96
7
8	TODO.md: remove lean
9
10	Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
11
12	TODO.md \| 1 -
13	1 file changed, 1 deletion(-)
14
15	diff --git a/TODO.md b/TODO.md
16	index f46bf455e..d44259608 100644
17	--- a/TODO.md
18	+++ b/TODO.md
19	@@ -59,7 +59,6 @@ Name \| Buildsystem \| Category \| User \| RFH
20	[chapel](https://github.com/chapel-lang/chapel) \| make \| science \| Alessandro-Barbieri \| yes
21	[osmium](https://wiki.openstreetmap.org/wiki/Osmium) \| cmake \| geography \| Alessandro-Barbieri \| no
22	[fuzzylite](https://github.com/fuzzylite/fuzzylite) \| cmake \| devel \| Alessandro-Barbieri \| no
23	-[lean](https://github.com/leanprover/lean/) \| cmake \| math \| Alessandro-Barbieri \| no
24	[valhalla](https://github.com/valhalla/valhalla) \| cmake \| geography \| Alessandro-Barbieri \| no
25	[openenclave](https://openenclave.io/sdk/) \| cmake \| util \| Alessandro-Barbieri \| no
26	[alpaka](https://github.com/alpaka-group/alpaka) \| cmake \| science \| Alessandro-Barbieri \| no