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

	Name	Last modified	Size
	Parent Directory		-
	cadical_1.5.3-2_amd64.deb	15-Nov-2022 01:25	309K
	cadical_1.5.3-2_i386.deb	15-Nov-2022 01:25	337K
	cadical_1.7.4-1+b1_amd64.deb	28-Oct-2024 17:02	387K
	cadical_1.7.4-1+b1_i386.deb	28-Oct-2024 17:19	419K
	cadical_1.7.4-1+b1_riscv64.deb	29-Oct-2024 01:11	395K
	cadical_2.1.3-1_amd64.deb	02-Dec-2025 00:33	447K
	cadical_2.1.3-1_i386.deb	02-Dec-2025 00:38	475K
	libcadical-dev_1.5.3-2_amd64.deb	15-Nov-2022 01:25	281K
	libcadical-dev_1.5.3-2_i386.deb	15-Nov-2022 01:25	318K
	libcadical-dev_1.7.4-1+b1_amd64.deb	28-Oct-2024 17:02	344K
	libcadical-dev_1.7.4-1+b1_i386.deb	28-Oct-2024 17:19	386K
	libcadical-dev_1.7.4-1+b1_riscv64.deb	29-Oct-2024 01:11	1.2M
	libcadical-dev_2.1.3-1_amd64.deb	02-Dec-2025 00:33	415K
	libcadical-dev_2.1.3-1_i386.deb	02-Dec-2025 00:38	459K