Index of /debian/pool/main/c/cadical

	Name	Last modified	Size
	Parent Directory		-
	cadical_1.5.3-2_amd64.deb	2022-11-15 01:25	309K
	cadical_1.5.3-2_arm64.deb	2022-11-15 01:25	269K
	cadical_1.5.3-2_i386.deb	2022-11-15 01:25	337K
	cadical_1.5.3-2_mips64el.deb	2022-11-15 05:43	307K
	cadical_1.5.3-2_ppc64el.deb	2022-11-15 15:55	316K
	cadical_1.7.4-1+b1_amd64.deb	2024-10-28 17:02	387K
	cadical_1.7.4-1+b1_arm64.deb	2024-10-28 22:28	339K
	cadical_1.7.4-1+b1_i386.deb	2024-10-28 17:19	419K
	cadical_1.7.4-1+b1_mips64el.deb	2024-10-29 05:04	380K
	cadical_1.7.4-1+b1_ppc64el.deb	2024-10-28 16:52	392K
	cadical_1.7.4-1+b1_riscv64.deb	2024-10-29 01:11	395K
	libcadical-dev_1.5.3-2_amd64.deb	2022-11-15 01:25	281K
	libcadical-dev_1.5.3-2_arm64.deb	2022-11-15 01:25	262K
	libcadical-dev_1.5.3-2_i386.deb	2022-11-15 01:25	318K
	libcadical-dev_1.5.3-2_mips64el.deb	2022-11-15 05:43	306K
	libcadical-dev_1.5.3-2_ppc64el.deb	2022-11-15 15:55	303K
	libcadical-dev_1.7.4-1+b1_amd64.deb	2024-10-28 17:02	344K
	libcadical-dev_1.7.4-1+b1_arm64.deb	2024-10-28 22:28	325K
	libcadical-dev_1.7.4-1+b1_i386.deb	2024-10-28 17:19	386K
	libcadical-dev_1.7.4-1+b1_mips64el.deb	2024-10-29 05:04	373K
	libcadical-dev_1.7.4-1+b1_ppc64el.deb	2024-10-28 16:52	366K
	libcadical-dev_1.7.4-1+b1_riscv64.deb	2024-10-29 01:11	1.2M