Index of /kali/pool/main/c/cvc5/

../
cvc5_1.0.5-3.debian.tar.xz                         24-Jun-2023 05:03    7072
cvc5_1.0.5-3.dsc                                   24-Jun-2023 05:03    2495
cvc5_1.0.5-3_amd64.deb                             24-Jun-2023 06:29     98K
cvc5_1.0.5-3_arm64.deb                             24-Jun-2023 07:12     86K
cvc5_1.0.5.orig.tar.gz                             21-Jun-2023 02:12      8M
libcvc5-1_1.0.5-3_amd64.deb                        24-Jun-2023 06:29      6M
libcvc5-1_1.0.5-3_arm64.deb                        24-Jun-2023 07:12      5M
libcvc5-dev_1.0.5-3_amd64.deb                      24-Jun-2023 06:29     59K
libcvc5-dev_1.0.5-3_arm64.deb                      24-Jun-2023 07:12     59K
libcvc5parser1_1.0.5-3_amd64.deb                   24-Jun-2023 06:29    359K
libcvc5parser1_1.0.5-3_arm64.deb                   24-Jun-2023 07:12    312K
python3-cvc5_1.0.5-3_amd64.deb                     24-Jun-2023 06:29    222K
python3-cvc5_1.0.5-3_arm64.deb                     24-Jun-2023 07:12    195K