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

Filename	Modification time	Size
Manifest	2026-07-04 16:08 CEST	905 B
lean-4.24.0.ebuild	2026-06-02 07:08 CEST	1842 B
metadata.xml	2025-01-02 23:11 CET	954 B