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/coq-corn/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-corn_8.18.0-1build3.debian.tar.xz 43202024-Apr-08 07:57
coq-corn_8.18.0-1build3.dsc 21702024-Apr-08 07:57
coq-corn_8.18.0.orig.tar.gz 13200472023-Dec-24 17:26
coq-corn_8.20.0-1build1.debian.tar.xz 43722025-Feb-19 07:52
coq-corn_8.20.0-1build1.dsc 21042025-Feb-19 07:52
coq-corn_8.20.0-1build5.debian.tar.xz 44762025-Aug-31 19:42
coq-corn_8.20.0-1build5.dsc 21042025-Aug-31 19:42
coq-corn_8.20.0-1build8.debian.tar.xz 45202025-Oct-25 16:28
coq-corn_8.20.0-1build8.dsc 21042025-Oct-25 16:28
coq-corn_8.20.0-1build9.debian.tar.xz 45362025-Nov-06 09:20
coq-corn_8.20.0-1build9.dsc 21042025-Nov-06 09:20
coq-corn_8.20.0.orig.tar.gz 13211582025-Feb-18 01:39
libcoq-corn_8.18.0-1build3_arm64.deb 153867922024-Apr-08 15:21
libcoq-corn_8.18.0-1build3_armhf.deb 153731542024-Apr-08 14:36
libcoq-corn_8.18.0-1build3_ppc64el.deb 153874882024-Apr-08 14:36
libcoq-corn_8.18.0-1build3_riscv64.deb 153871742024-Apr-08 17:06
libcoq-corn_8.18.0-1build3_s390x.deb 153867902024-Apr-08 15:21
libcoq-corn_8.20.0-1build1_arm64.deb 152101562025-Feb-19 11:16
libcoq-corn_8.20.0-1build1_ppc64el.deb 152092422025-Feb-19 13:44
libcoq-corn_8.20.0-1build1_riscv64.deb 152101722025-Feb-19 17:02
libcoq-corn_8.20.0-1build1_s390x.deb 152098542025-Feb-19 11:18
libcoq-corn_8.20.0-1build5_arm64.deb 151472762025-Sep-01 07:27
libcoq-corn_8.20.0-1build5_ppc64el.deb 151489462025-Sep-01 07:27
libcoq-corn_8.20.0-1build5_riscv64.deb 151474962025-Sep-01 15:05
libcoq-corn_8.20.0-1build5_s390x.deb 151471122025-Sep-01 07:27
libcoq-corn_8.20.0-1build8_arm64.deb 151466282025-Oct-25 18:28
libcoq-corn_8.20.0-1build8_ppc64el.deb 151491362025-Oct-25 18:28
libcoq-corn_8.20.0-1build8_riscv64.deb 151472702025-Oct-25 21:29
libcoq-corn_8.20.0-1build8_s390x.deb 151474042025-Oct-25 18:28
libcoq-corn_8.20.0-1build9_arm64.deb 151469762025-Nov-06 09:20
libcoq-corn_8.20.0-1build9_ppc64el.deb 151488522025-Nov-06 09:21
libcoq-corn_8.20.0-1build9_riscv64.deb 151473362025-Nov-06 13:53
libcoq-corn_8.20.0-1build9_s390x.deb 151470862025-Nov-06 09:21

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