Directory: /gentoo-portage-prefix/sci-mathematics/lean/files/

File Name ↓		File Size ↓	Date ↓
Parent directory/		-	-
lean-4.14.0-src-cmakelists.patch		1.1 KiB	2025-May-17 13:26

Copyright © Intelligent Software Research Center, Institute of Software, Chinese Academy of Sciences

Theme available on GitHub by Naereen, © 2015-18, released under the MIT License.