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/coqeal/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coqeal_2.0.3-1build6.dsc 21702025-Feb-19 07:52
coqeal_2.1.0-1build3.dsc 21702025-Aug-31 19:42
coqeal_2.1.0-1build5.dsc 21702025-Oct-28 22:58
coqeal_2.1.0-1build6.dsc 21702025-Nov-06 09:20
coqeal_2.0.1-1build5.dsc 22492024-Apr-08 07:57
coqeal_2.1.0-1build3.debian.tar.xz 25202025-Aug-31 19:42
coqeal_2.1.0-1build5.debian.tar.xz 25522025-Oct-28 22:58
coqeal_2.0.1-1build5.debian.tar.xz 25602024-Apr-08 07:57
coqeal_2.1.0-1build6.debian.tar.xz 25722025-Nov-06 09:20
coqeal_2.0.3-1build6.debian.tar.xz 25762025-Feb-19 07:52
coqeal_2.0.1.orig.tar.gz 2168102024-Jan-21 05:45
coqeal_2.0.3.orig.tar.gz 2170092024-Dec-18 23:41
coqeal_2.1.0.orig.tar.gz 2267132025-May-01 16:23
libcoq-coqeal_2.0.1-1build5_armhf.deb 55050462024-Apr-09 07:42
libcoq-coqeal_2.0.1-1build5_arm64.deb 55107222024-Apr-09 08:28
libcoq-coqeal_2.0.1-1build5_riscv64.deb 55108062024-Apr-09 10:43
libcoq-coqeal_2.0.1-1build5_ppc64el.deb 55109082024-Apr-09 07:42
libcoq-coqeal_2.0.1-1build5_s390x.deb 55109382024-Apr-09 07:42
libcoq-coqeal_2.0.3-1build6_arm64.deb 62038802025-Feb-20 22:38
libcoq-coqeal_2.0.3-1build6_riscv64.deb 62042922025-Feb-21 09:52
libcoq-coqeal_2.0.3-1build6_ppc64el.deb 62043582025-Feb-20 15:14
libcoq-coqeal_2.0.3-1build6_s390x.deb 62047622025-Feb-20 15:14
libcoq-coqeal_2.1.0-1build3_s390x.deb 64539542025-Sep-02 13:05
libcoq-coqeal_2.1.0-1build6_s390x.deb 64540062025-Nov-07 15:52
libcoq-coqeal_2.1.0-1build5_s390x.deb 64541142025-Oct-29 15:11
libcoq-coqeal_2.1.0-1build6_arm64.deb 64552702025-Nov-07 15:51
libcoq-coqeal_2.1.0-1build5_arm64.deb 64553262025-Oct-28 23:02
libcoq-coqeal_2.1.0-1build3_arm64.deb 64553442025-Sep-02 13:04
libcoq-coqeal_2.1.0-1build3_riscv64.deb 64564742025-Sep-03 16:14
libcoq-coqeal_2.1.0-1build5_riscv64.deb 64565082025-Nov-01 03:58
libcoq-coqeal_2.1.0-1build5_ppc64el.deb 64566502025-Oct-28 23:10
libcoq-coqeal_2.1.0-1build3_ppc64el.deb 64570022025-Sep-02 13:05
libcoq-coqeal_2.1.0-1build6_ppc64el.deb 64570882025-Nov-07 15:51

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