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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
cvc4_1.8-5.debian.tar.xz2025-Oct-27 10:28:5817.2Kapplication/octet-stream
cvc4_1.8-5.dsc2025-Oct-27 10:28:581.8Kapplication/octet-stream
cvc4_1.8-5_amd64.deb2025-Oct-27 10:59:0878.9Kapplication/octet-stream
cvc4_1.8-5_arm64.deb2025-Oct-27 10:59:0272.6Kapplication/octet-stream
cvc4_1.8-5_armhf.deb2025-Oct-27 10:59:0573.0Kapplication/octet-stream
cvc4_1.8-5_i386.deb2025-Oct-27 11:04:1680.8Kapplication/octet-stream
cvc4_1.8.orig.tar.gz2020-Sep-14 01:17:217.2Mapplication/x-gzip
libcvc4-7_1.8-5_amd64.deb2025-Oct-27 10:59:086.1Mapplication/octet-stream
libcvc4-7_1.8-5_arm64.deb2025-Oct-27 10:59:025.2Mapplication/octet-stream
libcvc4-7_1.8-5_armhf.deb2025-Oct-27 10:59:055.3Mapplication/octet-stream
libcvc4-7_1.8-5_i386.deb2025-Oct-27 11:04:166.6Mapplication/octet-stream
libcvc4-dev_1.8-5_amd64.deb2025-Oct-27 10:59:08128.2Kapplication/octet-stream
libcvc4-dev_1.8-5_arm64.deb2025-Oct-27 10:59:02128.2Kapplication/octet-stream
libcvc4-dev_1.8-5_armhf.deb2025-Oct-27 10:59:05128.2Kapplication/octet-stream
libcvc4-dev_1.8-5_i386.deb2025-Oct-27 11:04:16128.2Kapplication/octet-stream
libcvc4parser7_1.8-5_amd64.deb2025-Oct-27 10:59:08376.3Kapplication/octet-stream
libcvc4parser7_1.8-5_arm64.deb2025-Oct-27 10:59:02331.2Kapplication/octet-stream
libcvc4parser7_1.8-5_armhf.deb2025-Oct-27 10:59:05342.1Kapplication/octet-stream
libcvc4parser7_1.8-5_i386.deb2025-Oct-27 11:04:16403.8Kapplication/octet-stream
lighttpd/1.4.19