kali/pool/main/c/cvc4 • Linux Public Mirror - VISION Technologies Limited

Welcome to VISION Mirror Server

This mirror is hosted in VISION Technologies Limited Tier III Data Center in Bangladesh

Home / kali / pool / main / c / cvc4

File Name

Size

Last Modified

..

—

—
cvc4_1.8-5.debian.tar.xz

17.20KB

October 27, 2025, 9:28 am

cvc4_1.8-5.dsc

1.82KB

October 27, 2025, 9:28 am

cvc4_1.8-5_amd64.deb

78.89KB

October 27, 2025, 9:59 am

cvc4_1.8-5_arm64.deb

72.63KB

October 27, 2025, 9:59 am

cvc4_1.8-5_armhf.deb

73.07KB

October 27, 2025, 9:59 am

cvc4_1.8-5_i386.deb

80.81KB

October 27, 2025, 10:04 am

cvc4_1.8.orig.tar.gz

7.20MB

September 13, 2020, 11:17 pm

libcvc4-7_1.8-5_amd64.deb

6.19MB

October 27, 2025, 9:59 am

libcvc4-7_1.8-5_arm64.deb

5.29MB

October 27, 2025, 9:59 am

libcvc4-7_1.8-5_armhf.deb

5.31MB

October 27, 2025, 9:59 am

libcvc4-7_1.8-5_i386.deb

6.61MB

October 27, 2025, 10:04 am

libcvc4-dev_1.8-5_amd64.deb

128.21KB

October 27, 2025, 9:59 am

libcvc4-dev_1.8-5_arm64.deb

128.22KB

October 27, 2025, 9:59 am

libcvc4-dev_1.8-5_armhf.deb

128.22KB

October 27, 2025, 9:59 am

libcvc4-dev_1.8-5_i386.deb

128.22KB

October 27, 2025, 10:04 am

libcvc4parser7_1.8-5_amd64.deb

376.39KB

October 27, 2025, 9:59 am

libcvc4parser7_1.8-5_arm64.deb

331.29KB

October 27, 2025, 9:59 am

libcvc4parser7_1.8-5_armhf.deb

342.18KB

October 27, 2025, 9:59 am

libcvc4parser7_1.8-5_i386.deb

403.83KB

October 27, 2025, 10:04 am