Index of /gentoo-portage/sci-mathematics/lean/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
files/-2022-Jan-17 18:10
metadata.xml672 B2021-Dec-26 06:10
lean-3.9999.ebuild1.7 KiB2021-Dec-04 12:09
lean-3.35.1-r2.ebuild1.7 KiB2021-Dec-04 12:09
lean-3.37.0.ebuild1.7 KiB2022-Jan-08 12:10
Manifest2.1 KiB2022-Jan-08 12:10