Index of /kali/pool/main/c/cvc5/
../
cvc5_1.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 103068
cvc5_1.0.5-3+b1_arm64.deb 05-Jan-2024 23:12 91492
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.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 6111996
libcvc5-1_1.0.5-3+b1_arm64.deb 05-Jan-2024 23:12 5185128
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.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 60940
libcvc5-dev_1.0.5-3+b1_arm64.deb 05-Jan-2024 23:12 60920
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.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 375332
libcvc5parser1_1.0.5-3+b1_arm64.deb 05-Jan-2024 23:12 329696
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.0.5-3+b1_amd64.deb 05-Jan-2024 21:57 276016
python3-cvc5_1.0.5-3+b1_arm64.deb 05-Jan-2024 23:12 249648
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