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

../
cadical_1.5.3-2.debian.tar.xz                      20-Jan-2026 01:23    2976
cadical_1.5.3-2.dsc                                20-Jan-2026 01:23    1996
cadical_1.5.3-2_amd64.deb                          20-Jan-2026 01:23    309K
cadical_1.5.3-2_i386.deb                           20-Jan-2026 01:23    337K
cadical_1.5.3.orig.tar.gz                          20-Jan-2026 01:23    582K
cadical_1.7.4-1+b1_amd64.deb                       18-Jan-2026 07:56    387K
cadical_1.7.4-1+b1_i386.deb                        18-Jan-2026 07:56    419K
cadical_1.7.4-1.debian.tar.xz                      18-Jan-2026 07:56    3960
cadical_1.7.4-1.dsc                                18-Jan-2026 07:56    1996
cadical_1.7.4.orig.tar.gz                          18-Jan-2026 07:56    633K
libcadical-dev_1.5.3-2_amd64.deb                   20-Jan-2026 08:50    281K
libcadical-dev_1.5.3-2_i386.deb                    20-Jan-2026 08:50    318K
libcadical-dev_1.7.4-1+b1_amd64.deb                18-Jan-2026 19:37    344K
libcadical-dev_1.7.4-1+b1_i386.deb                 18-Jan-2026 19:37    386K