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

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
lean-CMakeLists-fix_flags.patch	1.3 KiB	2021-Nov-26 13:40
lean-3.50.3-gcc-13.patch	263 B	2023-Apr-18 14:10

This mirror is maintained by i3D.net.