Index of /debian-calculate-linux/grp/x86_64/sci-mathematics/lean
Name
Last modified
Size
Description
Parent Directory
-
lean-4.2.0-4.xpak
2024-01-22 07:20
156M
Apache/2.4.38 (Debian) Server at sft.if.usp.br Port 80