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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cadical_1.5.3.orig.tar.gz2022-11-02 02:04 582K 
[ ]cadical_1.5.3-2.debian.tar.xz2022-11-15 05:23 2.9K 
[TXT]cadical_1.5.3-2.dsc2022-11-15 05:23 1.9K 
[ ]cadical_1.5.3-2_i386.deb2022-11-15 05:55 337K 
[ ]libcadical-dev_1.5.3-2_i386.deb2022-11-15 05:55 318K 
[ ]cadical_1.5.3-2_arm64.deb2022-11-15 05:55 269K 
[ ]libcadical-dev_1.5.3-2_arm64.deb2022-11-15 05:55 262K 
[ ]cadical_1.5.3-2_amd64.deb2022-11-15 05:55 309K 
[ ]libcadical-dev_1.5.3-2_amd64.deb2022-11-15 05:55 281K 
[ ]cadical_1.5.3-2_armhf.deb2022-11-15 06:10 274K 
[ ]libcadical-dev_1.5.3-2_armhf.deb2022-11-15 06:10 276K 
[ ]cadical_1.5.3-2_armel.deb2022-11-15 06:10 270K 
[ ]libcadical-dev_1.5.3-2_armel.deb2022-11-15 06:10 271K 
[ ]cadical_1.5.3-2_s390x.deb2022-11-15 06:46 271K 
[ ]libcadical-dev_1.5.3-2_s390x.deb2022-11-15 06:46 259K 
[ ]cadical_1.5.3-2_mipsel.deb2022-11-15 07:11 324K 
[ ]libcadical-dev_1.5.3-2_mipsel.deb2022-11-15 07:11 320K 
[ ]cadical_1.5.3-2_mips64el.deb2022-11-15 10:13 307K 
[ ]libcadical-dev_1.5.3-2_mips64el.deb2022-11-15 10:13 306K 
[ ]cadical_1.5.3-2_ppc64el.deb2022-11-15 20:25 316K 
[ ]libcadical-dev_1.5.3-2_ppc64el.deb2022-11-15 20:25 303K 
[ ]cadical_1.7.4-1.debian.tar.xz2024-02-11 09:52 3.9K 
[TXT]cadical_1.7.4-1.dsc2024-02-11 09:52 1.9K 
[ ]cadical_1.7.4.orig.tar.gz2024-02-11 09:52 633K 
[ ]cadical_1.7.4-1+b1_ppc64el.deb2024-10-28 21:22 392K 
[ ]libcadical-dev_1.7.4-1+b1_ppc64el.deb2024-10-28 21:22 366K 
[ ]cadical_1.7.4-1+b1_amd64.deb2024-10-28 21:32 387K 
[ ]libcadical-dev_1.7.4-1+b1_amd64.deb2024-10-28 21:32 344K 
[ ]cadical_1.7.4-1+b1_i386.deb2024-10-28 21:49 419K 
[ ]libcadical-dev_1.7.4-1+b1_i386.deb2024-10-28 21:49 386K 
[ ]cadical_1.7.4-1+b1_armhf.deb2024-10-28 23:49 340K 
[ ]libcadical-dev_1.7.4-1+b1_armhf.deb2024-10-28 23:49 333K 
[ ]cadical_1.7.4-1+b1_armel.deb2024-10-29 01:05 333K 
[ ]libcadical-dev_1.7.4-1+b1_armel.deb2024-10-29 01:05 328K 
[ ]cadical_1.7.4-1+b1_arm64.deb2024-10-29 02:58 339K 
[ ]libcadical-dev_1.7.4-1+b1_arm64.deb2024-10-29 02:58 325K 
[ ]cadical_1.7.4-1+b1_riscv64.deb2024-10-29 05:41 395K 
[ ]libcadical-dev_1.7.4-1+b1_riscv64.deb2024-10-29 05:41 1.2M 
[ ]cadical_1.7.4-1+b1_mips64el.deb2024-10-29 09:34 380K 
[ ]libcadical-dev_1.7.4-1+b1_mips64el.deb2024-10-29 09:34 373K 
[ ]cadical_1.7.4-1+b1_s390x.deb2024-10-29 15:20 392K 
[ ]libcadical-dev_1.7.4-1+b1_s390x.deb2024-10-29 15:20 364K