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              109188
cvc5_1.1.1-1_arm64.deb                             12-Feb-2024 04:34               96368
cvc5_1.1.1.orig.tar.gz                             12-Feb-2024 03:02             8509343
libcvc5-1_1.1.1-1_amd64.deb                        12-Feb-2024 03:53             6295236
libcvc5-1_1.1.1-1_arm64.deb                        12-Feb-2024 04:34             5352344
libcvc5-dev_1.1.1-1_amd64.deb                      12-Feb-2024 03:53               79640
libcvc5-dev_1.1.1-1_arm64.deb                      12-Feb-2024 04:34               79636
libcvc5parser1_1.1.1-1_amd64.deb                   12-Feb-2024 03:53              231856
libcvc5parser1_1.1.1-1_arm64.deb                   12-Feb-2024 04:34              203860
python3-cvc5_1.1.1-1_amd64.deb                     12-Feb-2024 03:53              324272
python3-cvc5_1.1.1-1_arm64.deb                     12-Feb-2024 04:34              294016