Name Last modified Size Description
Parent Directory -
cadical_1.5.3.orig.tar.gz 2022-11-01 15:34 582K
cadical_1.5.3-2.debian.tar.xz 2022-11-14 17:53 2.9K
cadical_1.5.3-2.dsc 2022-11-14 17:53 1.9K
cadical_1.5.3-2_i386.deb 2022-11-14 18:25 337K
libcadical-dev_1.5.3-2_i386.deb 2022-11-14 18:25 318K
cadical_1.5.3-2_arm64.deb 2022-11-14 18:25 269K
libcadical-dev_1.5.3-2_arm64.deb 2022-11-14 18:25 262K
cadical_1.5.3-2_amd64.deb 2022-11-14 18:25 309K
libcadical-dev_1.5.3-2_amd64.deb 2022-11-14 18:25 281K
cadical_1.5.3-2_mips64el.deb 2022-11-14 22:43 307K
libcadical-dev_1.5.3-2_mips64el.deb 2022-11-14 22:43 306K
cadical_1.5.3-2_ppc64el.deb 2022-11-15 08:55 316K
libcadical-dev_1.5.3-2_ppc64el.deb 2022-11-15 08:55 303K