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

../
cvc5_1.1.1-1.debian.tar.xz                         12-Feb-2024 03:02    6944
cvc5_1.1.1-1.dsc                                   12-Feb-2024 03:02    2470
cvc5_1.1.1-1_amd64.deb                             12-Feb-2024 03:53    107K
cvc5_1.1.1-1_arm64.deb                             12-Feb-2024 04:34     94K
cvc5_1.1.1.orig.tar.gz                             12-Feb-2024 03:02      8M
libcvc5-1_1.1.1-1_amd64.deb                        12-Feb-2024 03:53      6M
libcvc5-1_1.1.1-1_arm64.deb                        12-Feb-2024 04:34      5M
libcvc5-dev_1.1.1-1_amd64.deb                      12-Feb-2024 03:53     78K
libcvc5-dev_1.1.1-1_arm64.deb                      12-Feb-2024 04:34     78K
libcvc5parser1_1.1.1-1_amd64.deb                   12-Feb-2024 03:53    226K
libcvc5parser1_1.1.1-1_arm64.deb                   12-Feb-2024 04:34    199K
python3-cvc5_1.1.1-1_amd64.deb                     12-Feb-2024 03:53    317K
python3-cvc5_1.1.1-1_arm64.deb                     12-Feb-2024 04:34    287K