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


../
cvc4_1.8-4.debian.tar.xz                           27-Jul-2025 22:17     17K
cvc4_1.8-4.dsc                                     27-Jul-2025 22:17    2231
cvc4_1.8-4_amd64.deb                               12-Aug-2025 00:09     80K
cvc4_1.8-4_arm64.deb                               12-Aug-2025 00:19     74K
cvc4_1.8-4_armhf.deb                               12-Aug-2025 00:09     75K
cvc4_1.8-4_i386.deb                                12-Aug-2025 00:04     83K
cvc4_1.8.orig.tar.gz                               14-Sep-2020 07:17      7M
libcvc4-7_1.8-4_amd64.deb                          12-Aug-2025 00:09      6M
libcvc4-7_1.8-4_arm64.deb                          12-Aug-2025 00:19      5M
libcvc4-7_1.8-4_armhf.deb                          12-Aug-2025 00:09      5M
libcvc4-7_1.8-4_i386.deb                           12-Aug-2025 00:04      7M
libcvc4-dev_1.8-4_amd64.deb                        12-Aug-2025 00:09    128K
libcvc4-dev_1.8-4_arm64.deb                        12-Aug-2025 00:19    128K
libcvc4-dev_1.8-4_armhf.deb                        12-Aug-2025 00:09    128K
libcvc4-dev_1.8-4_i386.deb                         12-Aug-2025 00:04    128K
libcvc4parser7_1.8-4_amd64.deb                     12-Aug-2025 00:09    373K
libcvc4parser7_1.8-4_arm64.deb                     12-Aug-2025 00:19    326K
libcvc4parser7_1.8-4_armhf.deb                     12-Aug-2025 00:09    336K
libcvc4parser7_1.8-4_i386.deb                      12-Aug-2025 00:04    402K