Index of /pool/universe/c/cadical

	Name	Last modified	Size
	Parent Directory		-
	cadical_1.5.3-2.debian.tar.xz	15-Nov-2022 06:18	2.9K
	cadical_1.5.3-2.dsc	15-Nov-2022 06:18	1.9K
	cadical_1.5.3-2_amd64.deb	15-Nov-2022 06:29	352K
	cadical_1.5.3.orig.tar.gz	06-Nov-2022 05:33	582K
	cadical_1.7.4-1.debian.tar.xz	15-Feb-2024 13:29	3.9K
	cadical_1.7.4-1.dsc	15-Feb-2024 13:29	1.9K
	cadical_1.7.4-1_amd64.deb	15-Feb-2024 13:30	454K
	cadical_1.7.4.orig.tar.gz	15-Feb-2024 13:29	633K
	libcadical-dev_1.5.3-2_amd64.deb	15-Nov-2022 06:29	311K
	libcadical-dev_1.7.4-1_amd64.deb	15-Feb-2024 13:30	376K