Index of /kali/pool/main/c/cvc4/

../
cvc4_1.8-5.debian.tar.xz                           27-Oct-2025 09:28               17608
cvc4_1.8-5.dsc                                     27-Oct-2025 09:28                1861
cvc4_1.8-5_amd64.deb                               27-Oct-2025 09:59               80784
cvc4_1.8-5_arm64.deb                               27-Oct-2025 09:59               74376
cvc4_1.8-5_armhf.deb                               27-Oct-2025 09:59               74828
cvc4_1.8-5_i386.deb                                27-Oct-2025 10:04               82752
cvc4_1.8.orig.tar.gz                               13-Sep-2020 23:17             7547187
libcvc4-7_1.8-5_amd64.deb                          27-Oct-2025 09:59             6491580
libcvc4-7_1.8-5_arm64.deb                          27-Oct-2025 09:59             5544220
libcvc4-7_1.8-5_armhf.deb                          27-Oct-2025 09:59             5565956
libcvc4-7_1.8-5_i386.deb                           27-Oct-2025 10:04             6931028
libcvc4-dev_1.8-5_amd64.deb                        27-Oct-2025 09:59              131292
libcvc4-dev_1.8-5_arm64.deb                        27-Oct-2025 09:59              131296
libcvc4-dev_1.8-5_armhf.deb                        27-Oct-2025 09:59              131300
libcvc4-dev_1.8-5_i386.deb                         27-Oct-2025 10:04              131300
libcvc4parser7_1.8-5_amd64.deb                     27-Oct-2025 09:59              385420
libcvc4parser7_1.8-5_arm64.deb                     27-Oct-2025 09:59              339240
libcvc4parser7_1.8-5_armhf.deb                     27-Oct-2025 09:59              350388
libcvc4parser7_1.8-5_i386.deb                      27-Oct-2025 10:04              413520