Index of mirrors/gentoo-portage/sci-mathematics/lean/files
Name ▴ Size Last Modified
../ - -
lean-4.14.0-src-cmakelists.patch 1.1 KB 2025-01-02 22:11
1 items, 1.1 KB total