8|sci-mathematics/lean|lean-3.51.1.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/lean|lean-4.11.0.ebuild|sci-mathematics@gentoo.org
8|sci-mathematics/lean|lean-4.2.0.ebuild|sci-mathematics@gentoo.org