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

../
cvc5_1.1.1-1.debian.tar.xz                         12-Feb-2024 10:02                6944
cvc5_1.1.1-1.dsc                                   12-Feb-2024 10:02                2470
cvc5_1.1.1-1_amd64.deb                             12-Feb-2024 10:53              109188
cvc5_1.1.1-1_arm64.deb                             12-Feb-2024 11:34               96368
cvc5_1.1.1.orig.tar.gz                             12-Feb-2024 10:02             8509343
libcvc5-1_1.1.1-1_amd64.deb                        12-Feb-2024 10:53             6295236
libcvc5-1_1.1.1-1_arm64.deb                        12-Feb-2024 11:34             5352344
libcvc5-dev_1.1.1-1_amd64.deb                      12-Feb-2024 10:53               79640
libcvc5-dev_1.1.1-1_arm64.deb                      12-Feb-2024 11:34               79636
libcvc5parser1_1.1.1-1_amd64.deb                   12-Feb-2024 10:53              231856
libcvc5parser1_1.1.1-1_arm64.deb                   12-Feb-2024 11:34              203860
python3-cvc5_1.1.1-1_amd64.deb                     12-Feb-2024 10:53              324272
python3-cvc5_1.1.1-1_arm64.deb                     12-Feb-2024 11:34              294016