Index of /gentoo/releases/amd64/binpackages/23.0/x86-64-v3/sci-mathematics/lean/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
lean-4.11.0-1.gpkg.tar	163.3 MiB	2025-Jan-19 15:36