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