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
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