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

	Name	Last modified	Size	Description
	Parent Directory		-
	cadical_1.5.3-2.debian.tar.xz	2022-11-15 10:53	2.9K
	cadical_1.5.3-2.dsc	2022-11-15 10:53	1.9K
	cadical_1.5.3-2_amd64.deb	2022-11-15 11:25	309K
	cadical_1.5.3-2_arm64.deb	2022-11-15 11:25	269K
	cadical_1.5.3-2_armel.deb	2022-11-15 11:40	270K
	cadical_1.5.3-2_armhf.deb	2022-11-15 11:40	274K
	cadical_1.5.3-2_i386.deb	2022-11-15 11:25	337K
	cadical_1.5.3-2_mips64el.deb	2022-11-15 15:43	307K
	cadical_1.5.3-2_mipsel.deb	2022-11-15 12:41	324K
	cadical_1.5.3-2_ppc64el.deb	2022-11-16 01:55	316K
	cadical_1.5.3-2_riscv64.deb	2023-07-29 12:40	326K
	cadical_1.5.3-2_s390x.deb	2022-11-15 12:16	271K
	cadical_1.5.3.orig.tar.gz	2022-11-02 07:34	582K
	libcadical-dev_1.5.3-2_amd64.deb	2022-11-15 11:25	281K
	libcadical-dev_1.5.3-2_arm64.deb	2022-11-15 11:25	262K
	libcadical-dev_1.5.3-2_armel.deb	2022-11-15 11:40	271K
	libcadical-dev_1.5.3-2_armhf.deb	2022-11-15 11:40	276K
	libcadical-dev_1.5.3-2_i386.deb	2022-11-15 11:25	318K
	libcadical-dev_1.5.3-2_mips64el.deb	2022-11-15 15:43	306K
	libcadical-dev_1.5.3-2_mipsel.deb	2022-11-15 12:41	320K
	libcadical-dev_1.5.3-2_ppc64el.deb	2022-11-16 01:55	303K
	libcadical-dev_1.5.3-2_riscv64.deb	2023-07-29 12:40	1.0M
	libcadical-dev_1.5.3-2_s390x.deb	2022-11-15 12:16	259K