Index of /pub/linux/gentoo/portage/sci-mathematics/cadical/files

	Name	Last modified	Size
	Parent Directory		-
	cadical-configure.patch	13-Sep-2022 04:10	380
	cadical-makefile.in-ar.patch	28-Dec-2021 18:09	323