Index of /kojifiles/packages/cadical

	Name	Last modified	Size	Description
	Parent Directory		-
	1.5.2/	2023-01-21 15:07	-
	1.5.3/	2023-04-13 20:25	-
	1.7.3/	2023-10-28 16:42	-
	1.7.4/	2023-12-11 06:13	-
	1.9.4/	2024-01-31 01:15	-
	1.9.5/	2024-03-22 02:44	-