commit: 7787fd96147612b5e88ae3b92ad27e54cc5de261 Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> AuthorDate: Wed Oct 20 02:32:45 2021 +0000 Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> CommitDate: Wed Oct 20 02:32:45 2021 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=7787fd96
TODO.md: remove lean Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com> TODO.md | 1 - 1 file changed, 1 deletion(-) diff --git a/TODO.md b/TODO.md index f46bf455e..d44259608 100644 --- a/TODO.md +++ b/TODO.md @@ -59,7 +59,6 @@ Name | Buildsystem | Category | User | RFH [chapel](https://github.com/chapel-lang/chapel) | make | science | Alessandro-Barbieri | yes [osmium](https://wiki.openstreetmap.org/wiki/Osmium) | cmake | geography | Alessandro-Barbieri | no [fuzzylite](https://github.com/fuzzylite/fuzzylite) | cmake | devel | Alessandro-Barbieri | no -[lean](https://github.com/leanprover/lean/) | cmake | math | Alessandro-Barbieri | no [valhalla](https://github.com/valhalla/valhalla) | cmake | geography | Alessandro-Barbieri | no [openenclave](https://openenclave.io/sdk/) | cmake | util | Alessandro-Barbieri | no [alpaka](https://github.com/alpaka-group/alpaka) | cmake | science | Alessandro-Barbieri | no
