Index of /repos/pool/main/c/cadical/

../
cadical_1.5.3-2.debian.tar.xz                      25-Dec-2025 02:51    2976
cadical_1.5.3-2.dsc                                25-Dec-2025 02:51    1996
cadical_1.5.3-2_amd64.deb                          25-Dec-2025 02:51    309K
cadical_1.5.3-2_i386.deb                           25-Dec-2025 02:51    337K
cadical_1.5.3.orig.tar.gz                          25-Dec-2025 02:51    582K
cadical_1.7.4-1+b1_amd64.deb                       24-Dec-2025 04:17    387K
cadical_1.7.4-1+b1_i386.deb                        24-Dec-2025 04:17    419K
cadical_1.7.4-1.debian.tar.xz                      24-Dec-2025 04:17    3960
cadical_1.7.4-1.dsc                                24-Dec-2025 04:17    1996
cadical_1.7.4.orig.tar.gz                          24-Dec-2025 04:17    633K
libcadical-dev_1.5.3-2_amd64.deb                   25-Dec-2025 06:43    281K
libcadical-dev_1.5.3-2_i386.deb                    25-Dec-2025 06:43    318K
libcadical-dev_1.7.4-1+b1_amd64.deb                24-Dec-2025 10:43    344K
libcadical-dev_1.7.4-1+b1_i386.deb                 24-Dec-2025 10:43    386K