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

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[   ]cvc4_1.8-3.dsc2022-10-30 08:57 2.2K
[   ]cvc4_1.8-3.debian.tar.xz2022-10-30 08:57 16K
[   ]cvc4_1.8-3+b4_armel.deb2025-04-08 13:21 74K
[   ]cvc4_1.8-3+b4_arm64.deb2025-04-08 13:42 75K
[   ]cvc4_1.8-3+b4_armhf.deb2025-04-08 05:16 75K
[   ]cvc4_1.8-3+b4_amd64.deb2025-04-08 04:25 81K
[   ]cvc4_1.8-3+b4_i386.deb2025-04-08 04:36 83K
[   ]libcvc4-dev_1.8-3+b4_armhf.deb2025-04-08 05:16 128K
[   ]libcvc4-dev_1.8-3+b4_i386.deb2025-04-08 04:36 128K
[   ]libcvc4-dev_1.8-3+b4_arm64.deb2025-04-08 13:42 128K
[   ]libcvc4-dev_1.8-3+b4_armel.deb2025-04-08 13:21 128K
[   ]libcvc4-dev_1.8-3+b4_amd64.deb2025-04-08 04:25 128K
[   ]libcvc4parser7_1.8-3+b4_arm64.deb2025-04-08 13:42 326K
[   ]libcvc4parser7_1.8-3+b4_armel.deb2025-04-08 13:21 327K
[   ]libcvc4parser7_1.8-3+b4_armhf.deb2025-04-08 05:16 339K
[   ]libcvc4parser7_1.8-3+b4_amd64.deb2025-04-08 04:25 373K
[   ]libcvc4parser7_1.8-3+b4_i386.deb2025-04-08 04:36 402K
[   ]libcvc4-7_1.8-3+b4_armel.deb2025-04-08 13:21 5.3M
[   ]libcvc4-7_1.8-3+b4_armhf.deb2025-04-08 05:16 5.3M
[   ]libcvc4-7_1.8-3+b4_arm64.deb2025-04-08 13:42 5.4M
[   ]libcvc4-7_1.8-3+b4_amd64.deb2025-04-08 04:25 6.3M
[   ]libcvc4-7_1.8-3+b4_i386.deb2025-04-08 04:36 6.8M
[   ]cvc4_1.8.orig.tar.gz2020-09-14 11:17 7.2M
Apache Server at ftp.nz.debian.org Port 80