Mirror by Optibit

___ _ _ _ _ _ / _ \ _ __ | |_(_) |__ (_) |_ | | | | '_ \| __| | '_ \| | __| | |_| | |_) | |_| | |_) | | |_ \___/| .__/ \__|_|_.__/|_|\__| M|I|R|R|O|R |_|

/gentoo-portage/sci-mathematics/lean/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
files/	-	11-Jun-2026 06:38
lean-4.24.0.ebuild	1.8 KiB	02-Jun-2026 05:08
Manifest	2.4 KiB	02-Jun-2026 05:08
lean-4.14.0-r1.ebuild	1.9 KiB	14-Oct-2025 20:15
lean-4.23.0.ebuild	1.8 KiB	14-Oct-2025 20:15
metadata.xml	954 B	02-Jan-2025 22:11