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

../
cadical_1.5.3-2.debian.tar.xz                      29-Apr-2023 17:36    2976
cadical_1.5.3-2.dsc                                29-Apr-2023 17:36    1996
cadical_1.5.3-2_amd64.deb                          30-Apr-2023 06:32    309K
cadical_1.5.3-2_arm64.deb                          30-Apr-2023 06:32    269K
cadical_1.5.3.orig.tar.gz                          29-Apr-2023 17:36    582K
libcadical-dev_1.5.3-2_amd64.deb                   30-Apr-2023 06:32    281K
libcadical-dev_1.5.3-2_arm64.deb                   30-Apr-2023 06:32    262K