8|sci-mathematics/lean|lean-3.51.1.ebuild|flag-o-matic:cmake:readme.gentoo-r1|sci-mathematics@gentoo.org
8|sci-mathematics/lean|lean-4.2.0.ebuild|flag-o-matic:cmake:python-any-r1|sci-mathematics@gentoo.org