Index of /sci-mathematics/lean/files/

Name	Last Modified	Size	Type
../		-	Directory
lean-3.50.3-gcc-13.patch	2023-Apr-18 16:10:23	0.2K	text/x-diff
lean-CMakeLists-fix_flags.patch	2021-Nov-26 14:40:03	1.2K	text/x-diff

lighttpd/1.4.45