Welcome To SC Mirrors Site

We are delighted to offer you accelerated services for open-source software.

Region Option

Asian / Tokyo
mirrors.tyo.silicloud.com
American / Los Angeles
mirrors.lax.silicloud.com

Mirrors Help

If you're unsure how to configure Linux distributions/software installation sources, we offer assistance for mainstream distributions here:

Config Guide

Common Links

Silicon Cloud

/ubuntu-ports/pool/universe/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4_1.8-3build2_riscv64.deb 770642024-Apr-04 01:07
libcvc4-7_1.8-3build2_riscv64.deb 67392222024-Apr-04 01:07
libcvc4-dev_1.8-3build2_riscv64.deb 1252542024-Apr-04 01:07
libcvc4parser7_1.8-3build2_riscv64.deb 3867662024-Apr-04 01:07
cvc4_1.8-3build2_s390x.deb 763062024-Apr-02 11:03
libcvc4-7_1.8-3build2_s390x.deb 50036102024-Apr-02 11:03
libcvc4-dev_1.8-3build2_s390x.deb 1252542024-Apr-02 11:03
libcvc4parser7_1.8-3build2_s390x.deb 4173022024-Apr-02 11:03
cvc4_1.8-3build2_ppc64el.deb 765922024-Apr-02 05:58
libcvc4-7_1.8-3build2_ppc64el.deb 47459362024-Apr-02 05:58
libcvc4-dev_1.8-3build2_ppc64el.deb 1252602024-Apr-02 05:58
libcvc4parser7_1.8-3build2_ppc64el.deb 3834022024-Apr-02 05:58
cvc4_1.8-3build2_armhf.deb 738202024-Apr-02 02:14
libcvc4-7_1.8-3build2_armhf.deb 61518142024-Apr-02 02:14
libcvc4-dev_1.8-3build2_armhf.deb 1252542024-Apr-02 02:14
libcvc4parser7_1.8-3build2_armhf.deb 3655082024-Apr-02 02:14
cvc4_1.8-3build2_arm64.deb 716022024-Apr-02 01:07
libcvc4-7_1.8-3build2_arm64.deb 43427882024-Apr-02 01:07
libcvc4-dev_1.8-3build2_arm64.deb 1252462024-Apr-02 01:07
libcvc4parser7_1.8-3build2_arm64.deb 3535742024-Apr-02 01:07
cvc4_1.8-3build2.debian.tar.xz 168762024-Mar-31 18:36
cvc4_1.8-3build2.dsc 23632024-Mar-31 18:36
cvc4_1.8-3_riscv64.deb 736462022-Nov-06 10:49
libcvc4-7_1.8-3_riscv64.deb 64921122022-Nov-06 10:49
libcvc4-dev_1.8-3_riscv64.deb 1252182022-Nov-06 10:49
libcvc4parser7_1.8-3_riscv64.deb 3751242022-Nov-06 10:49
cvc4_1.8-3_arm64.deb 712022022-Nov-06 06:20
libcvc4-7_1.8-3_arm64.deb 43251462022-Nov-06 06:20
libcvc4-dev_1.8-3_arm64.deb 1252182022-Nov-06 06:20
libcvc4parser7_1.8-3_arm64.deb 3557162022-Nov-06 06:20
cvc4_1.8-3_s390x.deb 718222022-Nov-06 05:44
libcvc4-7_1.8-3_s390x.deb 45069222022-Nov-06 05:44
libcvc4-dev_1.8-3_s390x.deb 1252142022-Nov-06 05:44
libcvc4parser7_1.8-3_s390x.deb 3504122022-Nov-06 05:44
cvc4_1.8-3_ppc64el.deb 759482022-Nov-06 05:43
libcvc4-7_1.8-3_ppc64el.deb 46879842022-Nov-06 05:43
libcvc4-dev_1.8-3_ppc64el.deb 1252242022-Nov-06 05:43
libcvc4parser7_1.8-3_ppc64el.deb 3859542022-Nov-06 05:43
libcvc4parser7_1.8-3_armhf.deb 3681642022-Nov-06 05:42
cvc4_1.8-3_armhf.deb 727922022-Nov-06 05:42
libcvc4-7_1.8-3_armhf.deb 61105082022-Nov-06 05:42
libcvc4-dev_1.8-3_armhf.deb 1252182022-Nov-06 05:42
cvc4_1.8-3.debian.tar.xz 167282022-Nov-06 03:17
cvc4_1.8-3.dsc 22442022-Nov-06 03:17
cvc4_1.8-2_riscv64.deb 690722020-Sep-30 19:03
libcvc4-7_1.8-2_riscv64.deb 54770722020-Sep-30 19:03
libcvc4parser7_1.8-2_riscv64.deb 3397202020-Sep-30 19:03
libcvc4-dev_1.8-2_riscv64.deb 1232122020-Sep-30 19:03
cvc4_1.8-2_armhf.deb 673762020-Sep-30 17:43
libcvc4-7_1.8-2_armhf.deb 50294442020-Sep-30 17:43
libcvc4-dev_1.8-2_armhf.deb 1232082020-Sep-30 17:43
libcvc4parser7_1.8-2_armhf.deb 3189882020-Sep-30 17:43
cvc4_1.8-2_arm64.deb 678162020-Sep-30 16:43
libcvc4-7_1.8-2_arm64.deb 47962682020-Sep-30 16:43
libcvc4-dev_1.8-2_arm64.deb 1232082020-Sep-30 16:43
libcvc4parser7_1.8-2_arm64.deb 3186242020-Sep-30 16:43
cvc4_1.8-2_s390x.deb 684442020-Sep-30 15:58
libcvc4parser7_1.8-2_s390x.deb 3318042020-Sep-30 15:58
libcvc4parser7_1.8-2_ppc64el.deb 3461562020-Sep-30 15:58
libcvc4-7_1.8-2_ppc64el.deb 52967122020-Sep-30 15:58
libcvc4-7_1.8-2_s390x.deb 54101002020-Sep-30 15:58
libcvc4-dev_1.8-2_s390x.deb 1232122020-Sep-30 15:58
cvc4_1.8-2_ppc64el.deb 715002020-Sep-30 15:58
libcvc4-dev_1.8-2_ppc64el.deb 1232202020-Sep-30 15:58
cvc4_1.8-2.debian.tar.xz 164562020-Sep-30 15:43
cvc4_1.8-2.dsc 22752020-Sep-30 15:43
cvc4_1.8.orig.tar.gz 75471872020-Sep-30 15:43
cvc4_1.6-2build2.debian.tar.xz 83922020-Feb-03 22:24
cvc4_1.6-2build2.dsc 27552020-Feb-03 22:24
cvc4_1.6.orig.tar.gz 78158932018-Aug-12 05:13
cvc4_1.5-1.debian.tar.xz 60122017-Nov-01 13:57
cvc4_1.5-1.dsc 22212017-Nov-01 13:57
cvc4_1.5.orig.tar.gz 79261162017-Nov-01 13:57

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

cube envelope hashtag github