Index of /pureos/pool/main/c/cadical/

../
cadical_1.5.3-2.debian.tar.xz                      14-Jun-2023 13:54    2976
cadical_1.5.3-2.dsc                                14-Jun-2023 13:54    1996
cadical_1.5.3-2_amd64.deb                          14-Jun-2023 20:14    309K
cadical_1.5.3-2_arm64.deb                          14-Jun-2023 20:14    269K
cadical_1.5.3.orig.tar.gz                          14-Jun-2023 13:54    582K
cadical_1.7.4-1+b1_amd64.deb                       30-Oct-2024 04:21    387K
cadical_1.7.4-1+b1_arm64.deb                       30-Oct-2024 16:20    339K
cadical_1.7.4-1.debian.tar.xz                      10-May-2024 01:54    3960
cadical_1.7.4-1.dsc                                10-May-2024 01:54    1996
cadical_1.7.4-1_amd64.deb                          10-May-2024 10:40    378K
cadical_1.7.4-1_arm64.deb                          10-May-2024 10:40    331K
cadical_1.7.4.orig.tar.gz                          10-May-2024 01:54    633K
libcadical-dev_1.5.3-2_amd64.deb                   14-Jun-2023 20:14    281K
libcadical-dev_1.5.3-2_arm64.deb                   14-Jun-2023 20:14    262K
libcadical-dev_1.7.4-1+b1_amd64.deb                30-Oct-2024 04:21    344K
libcadical-dev_1.7.4-1+b1_arm64.deb                30-Oct-2024 16:20    325K
libcadical-dev_1.7.4-1_amd64.deb                   10-May-2024 10:40    341K
libcadical-dev_1.7.4-1_arm64.deb                   10-May-2024 10:40    320K