Index of /data/gentoo-portage/sci-mathematics/lean/files/

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

lighttpd/1.4.76