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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-interval_4.9.0.orig.tar.bz2 2820472023-Dec-26 17:17
coq-interval_4.9.0-1build5.dsc 22652024-Apr-08 07:57
coq-interval_4.9.0-1build5.debian.tar.xz 94482024-Apr-08 07:57
libcoq-interval_4.9.0-1build5_armhf.deb 68358302024-Apr-08 19:24
libcoq-interval_4.9.0-1build5_arm64.deb 68365662024-Apr-08 20:09
libcoq-interval_4.9.0-1build5_ppc64el.deb 68351262024-Apr-08 20:52
libcoq-interval_4.9.0-1build5_s390x.deb 68350542024-Apr-09 02:23
libcoq-interval_4.9.0-1build5_riscv64.deb 68349442024-Apr-09 07:42
coq-interval_4.11.1.orig.tar.gz 3808622024-Nov-20 18:47
coq-interval_4.11.1-1build7.debian.tar.xz 95522025-Feb-19 07:52
coq-interval_4.11.1-1build7.dsc 21902025-Feb-19 07:52
libcoq-interval_4.11.1-1build7_s390x.deb 76404682025-Feb-20 09:58
libcoq-interval_4.11.1-1build7_ppc64el.deb 76404982025-Feb-20 12:56
libcoq-interval_4.11.1-1build7_arm64.deb 76425422025-Feb-20 20:15
libcoq-interval_4.11.1-1build7_riscv64.deb 76409342025-Feb-21 03:24
coq-interval_4.11.1-1build11.debian.tar.xz 96242025-Aug-31 19:42
coq-interval_4.11.1-1build11.dsc 21942025-Aug-31 19:42
libcoq-interval_4.11.1-1build11_arm64.deb 76373062025-Sep-02 08:36
libcoq-interval_4.11.1-1build11_ppc64el.deb 76352582025-Sep-02 08:36
libcoq-interval_4.11.1-1build11_s390x.deb 76357782025-Sep-02 08:36
libcoq-interval_4.11.1-1build11_riscv64.deb 76358362025-Sep-03 08:05
coq-interval_4.11.1-1build12.dsc 21942025-Oct-23 00:05
coq-interval_4.11.1-1build12.debian.tar.xz 96442025-Oct-23 00:05
libcoq-interval_4.11.1-1build12_arm64.deb 76372082025-Oct-26 13:30
libcoq-interval_4.11.1-1build12_ppc64el.deb 76351762025-Oct-26 13:31
libcoq-interval_4.11.1-1build12_s390x.deb 76356882025-Oct-26 13:31
libcoq-interval_4.11.1-1build12_riscv64.deb 76357302025-Oct-28 00:54
coq-interval_4.11.1-1build13.debian.tar.xz 96602025-Nov-06 11:25
coq-interval_4.11.1-1build13.dsc 21942025-Nov-06 11:25
libcoq-interval_4.11.1-1build13_arm64.deb 76371702025-Nov-07 09:34
libcoq-interval_4.11.1-1build13_ppc64el.deb 76351942025-Nov-07 09:34
libcoq-interval_4.11.1-1build13_s390x.deb 76357702025-Nov-07 09:34
libcoq-interval_4.11.1-1build13_riscv64.deb 76357702025-Nov-07 23:36

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