Index of /changelogs/main/c/cadical

	Name	Last modified	Size
	Parent Directory		-
	cadical_1.5.3-2_changelog	2022-11-14 01:04	270
	cadical_1.5.3-2_copyright	2022-10-29 19:34	2.3K
	cadical_1.7.4-1_changelog	2024-02-11 04:08	648
	cadical_1.7.4-1_copyright	2024-02-11 00:51	2.3K
	stable_changelog	2022-11-14 01:04	270
	stable_copyright	2022-10-29 19:34	2.3K
	testing_changelog	2024-02-11 04:08	648
	testing_copyright	2024-02-11 00:51	2.3K
	unstable_changelog	2024-02-11 04:08	648
	unstable_copyright	2024-02-11 00:51	2.3K