8|sci-mathematics/lean|lean-3.51.1.ebuild|amd64:~x86|sci-mathematics@gentoo.org
8|sci-mathematics/lean|lean-4.2.0.ebuild|amd64:~x86|sci-mathematics@gentoo.org