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.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
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.8-2.debian.tar.xz 164562020-Sep-30 15:43
cvc4_1.8-2.dsc 22752020-Sep-30 15:43
cvc4_1.8-2_arm64.deb 678162020-Sep-30 16:43
cvc4_1.8-2_armhf.deb 673762020-Sep-30 17:43
cvc4_1.8-2_ppc64el.deb 715002020-Sep-30 15:58
cvc4_1.8-2_riscv64.deb 690722020-Sep-30 19:03
cvc4_1.8-2_s390x.deb 684442020-Sep-30 15:58
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-3build2_arm64.deb 716022024-Apr-02 01:07
cvc4_1.8-3build2_armhf.deb 738202024-Apr-02 02:14
cvc4_1.8-3build2_ppc64el.deb 765922024-Apr-02 05:58
cvc4_1.8-3build2_riscv64.deb 770642024-Apr-04 01:07
cvc4_1.8-3build2_s390x.deb 763062024-Apr-02 11:03
cvc4_1.8.orig.tar.gz 75471872020-Sep-30 15:43
libcvc4-7_1.8-2_arm64.deb 47962682020-Sep-30 16:43
libcvc4-7_1.8-2_armhf.deb 50294442020-Sep-30 17:43
libcvc4-7_1.8-2_ppc64el.deb 52967122020-Sep-30 15:58
libcvc4-7_1.8-2_riscv64.deb 54770722020-Sep-30 19:03
libcvc4-7_1.8-2_s390x.deb 54101002020-Sep-30 15:58
libcvc4-7_1.8-3build2_arm64.deb 43427882024-Apr-02 01:07
libcvc4-7_1.8-3build2_armhf.deb 61518142024-Apr-02 02:14
libcvc4-7_1.8-3build2_ppc64el.deb 47459362024-Apr-02 05:58
libcvc4-7_1.8-3build2_riscv64.deb 67392222024-Apr-04 01:07
libcvc4-7_1.8-3build2_s390x.deb 50036102024-Apr-02 11:03
libcvc4-dev_1.8-2_arm64.deb 1232082020-Sep-30 16:43
libcvc4-dev_1.8-2_armhf.deb 1232082020-Sep-30 17:43
libcvc4-dev_1.8-2_ppc64el.deb 1232202020-Sep-30 15:58
libcvc4-dev_1.8-2_riscv64.deb 1232122020-Sep-30 19:03
libcvc4-dev_1.8-2_s390x.deb 1232122020-Sep-30 15:58
libcvc4-dev_1.8-3build2_arm64.deb 1252462024-Apr-02 01:07
libcvc4-dev_1.8-3build2_armhf.deb 1252542024-Apr-02 02:14
libcvc4-dev_1.8-3build2_ppc64el.deb 1252602024-Apr-02 05:58
libcvc4-dev_1.8-3build2_riscv64.deb 1252542024-Apr-04 01:07
libcvc4-dev_1.8-3build2_s390x.deb 1252542024-Apr-02 11:03
libcvc4parser7_1.8-2_arm64.deb 3186242020-Sep-30 16:43
libcvc4parser7_1.8-2_armhf.deb 3189882020-Sep-30 17:43
libcvc4parser7_1.8-2_ppc64el.deb 3461562020-Sep-30 15:58
libcvc4parser7_1.8-2_riscv64.deb 3397202020-Sep-30 19:03
libcvc4parser7_1.8-2_s390x.deb 3318042020-Sep-30 15:58
libcvc4parser7_1.8-3build2_arm64.deb 3535742024-Apr-02 01:07
libcvc4parser7_1.8-3build2_armhf.deb 3655082024-Apr-02 02:14
libcvc4parser7_1.8-3build2_ppc64el.deb 3834022024-Apr-02 05:58
libcvc4parser7_1.8-3build2_riscv64.deb 3867662024-Apr-04 01:07
libcvc4parser7_1.8-3build2_s390x.deb 4173022024-Apr-02 11:03

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