Index of /gentoo-portage/sci-mathematics/lean/files/
Name
Size
Date
📁 ../
-
-
📄 lean-4.14.0-src-cmakelists.patch
1084 bytes
2025-01-03 01:11:28