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

../
cadical_1.5.3-2.debian.tar.xz                      27-Sep-2025 09:31    2976
cadical_1.5.3-2.dsc                                27-Sep-2025 09:31    1996
cadical_1.5.3-2_amd64.deb                          27-Sep-2025 09:31    309K
cadical_1.5.3-2_i386.deb                           27-Sep-2025 09:31    337K
cadical_1.5.3.orig.tar.gz                          27-Sep-2025 09:31    582K
cadical_1.7.4-1+b1_amd64.deb                       26-Sep-2025 19:57    387K
cadical_1.7.4-1+b1_i386.deb                        26-Sep-2025 19:57    419K
cadical_1.7.4-1.debian.tar.xz                      26-Sep-2025 19:57    3960
cadical_1.7.4-1.dsc                                26-Sep-2025 19:57    1996
cadical_1.7.4.orig.tar.gz                          26-Sep-2025 19:57    633K
libcadical-dev_1.5.3-2_amd64.deb                   27-Sep-2025 11:31    281K
libcadical-dev_1.5.3-2_i386.deb                    27-Sep-2025 11:31    318K
libcadical-dev_1.7.4-1+b1_amd64.deb                26-Sep-2025 23:35    344K
libcadical-dev_1.7.4-1+b1_i386.deb                 26-Sep-2025 23:35    386K