Index of /pool/main/c/cadical/

../
cadical_1.5.3-2.debian.tar.xz                      16-Feb-2023 22:46                2976
cadical_1.5.3-2.dsc                                16-Feb-2023 22:46                1996
cadical_1.5.3-2_amd64.deb                          16-Feb-2023 22:31              316708
cadical_1.5.3-2_arm64.deb                          16-Feb-2023 22:41              275116
cadical_1.5.3-2_i386.deb                           16-Feb-2023 22:33              344952
cadical_1.5.3.orig.tar.gz                          16-Feb-2023 22:46              596378
libcadical-dev_1.5.3-2_amd64.deb                   16-Feb-2023 22:26              287488
libcadical-dev_1.5.3-2_arm64.deb                   16-Feb-2023 22:47              268512
libcadical-dev_1.5.3-2_i386.deb                    16-Feb-2023 22:24              325132