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


../
cadical_1.5.3-2+b1_riscv64.deb                     30-Dec-2023 09:41              334256
cadical_1.5.3-2.debian.tar.xz                      14-Nov-2022 23:53                2976
cadical_1.5.3-2.dsc                                14-Nov-2022 23:53                1996
cadical_1.5.3-2_amd64.deb                          15-Nov-2022 00:25              316708
cadical_1.5.3-2_arm64.deb                          15-Nov-2022 00:25              275116
cadical_1.5.3-2_armel.deb                          15-Nov-2022 00:40              276300
cadical_1.5.3-2_armhf.deb                          15-Nov-2022 00:40              280600
cadical_1.5.3-2_i386.deb                           15-Nov-2022 00:25              344952
cadical_1.5.3-2_mips64el.deb                       15-Nov-2022 04:43              313892
cadical_1.5.3-2_mipsel.deb                         15-Nov-2022 01:41              331760
cadical_1.5.3-2_ppc64el.deb                        15-Nov-2022 14:55              324020
cadical_1.5.3-2_s390x.deb                          15-Nov-2022 01:16              277880
cadical_1.5.3.orig.tar.gz                          01-Nov-2022 20:34              596378
libcadical-dev_1.5.3-2+b1_riscv64.deb              30-Dec-2023 09:41             1069824
libcadical-dev_1.5.3-2_amd64.deb                   15-Nov-2022 00:25              287488
libcadical-dev_1.5.3-2_arm64.deb                   15-Nov-2022 00:25              268512
libcadical-dev_1.5.3-2_armel.deb                   15-Nov-2022 00:40              277180
libcadical-dev_1.5.3-2_armhf.deb                   15-Nov-2022 00:40              282220
libcadical-dev_1.5.3-2_i386.deb                    15-Nov-2022 00:25              325132
libcadical-dev_1.5.3-2_mips64el.deb                15-Nov-2022 04:43              312892
libcadical-dev_1.5.3-2_mipsel.deb                  15-Nov-2022 01:41              327444
libcadical-dev_1.5.3-2_ppc64el.deb                 15-Nov-2022 14:55              310476
libcadical-dev_1.5.3-2_s390x.deb                   15-Nov-2022 01:16              264816