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/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.11.0-1_arm64.deb 214164882020-Mar-06 09:13
coq-theories_8.11.0-1_ppc64el.deb 214263762020-Mar-11 10:53
coq-theories_8.4pl3dfsg-1_all.deb 319702702014-Jan-19 23:58
coq-theories_8.4pl4dfsg-3build2_all.deb 322360782015-Nov-04 14:04
coq-theories_8.6-5build1_arm64.deb 228012522017-Oct-28 16:20
coq-theories_8.6-5build1_armhf.deb 228221562017-Oct-28 16:20
coq-theories_8.6-5build1_ppc64el.deb 227979962017-Oct-28 15:34
coq-theories_8.6-5build1_s390x.deb 228002882017-Oct-28 15:34
coq_8.11.0-1.debian.tar.xz 316722020-Mar-06 07:53
coq_8.11.0-1.dsc 24962020-Mar-06 07:53
coq_8.11.0-1_arm64.deb 839354882020-Mar-06 09:13
coq_8.11.0-1_ppc64el.deb 787929042020-Mar-11 10:53
coq_8.11.0.orig.tar.gz 58256202020-Mar-06 07:53
coq_8.15.0+dfsg-2.debian.tar.xz 396722022-Feb-05 17:49
coq_8.15.0+dfsg-2.dsc 25992022-Feb-05 17:49
coq_8.15.0+dfsg-2_arm64.deb 1067150462022-Feb-06 12:54
coq_8.15.0+dfsg-2_armhf.deb 932499962022-Feb-05 23:53
coq_8.15.0+dfsg-2_ppc64el.deb 982893182022-Feb-05 23:53
coq_8.15.0+dfsg-2_riscv64.deb 949400122022-Feb-05 23:53
coq_8.15.0+dfsg-2_s390x.deb 971906522022-Feb-05 23:53
coq_8.15.0+dfsg.orig.tar.xz 46699482022-Jan-17 23:14
coq_8.16.1+dfsg-1build2.debian.tar.xz 333162023-Feb-16 10:06
coq_8.16.1+dfsg-1build2.dsc 26282023-Feb-16 10:06
coq_8.16.1+dfsg-1build2_arm64.deb 1229573002023-Feb-16 10:58
coq_8.16.1+dfsg-1build2_armhf.deb 1068169302023-Feb-16 10:58
coq_8.16.1+dfsg-1build2_ppc64el.deb 1128024702023-Feb-16 10:58
coq_8.16.1+dfsg-1build2_riscv64.deb 1085215562023-Feb-16 15:11
coq_8.16.1+dfsg-1build2_s390x.deb 1115376222023-Feb-16 10:58
coq_8.16.1+dfsg.orig.tar.xz 47176682022-Nov-29 17:24
coq_8.17.0+dfsg-1build1.debian.tar.xz 331522023-Jul-24 17:37
coq_8.17.0+dfsg-1build1.dsc 26282023-Jul-24 17:37
coq_8.17.0+dfsg-1build1_arm64.deb 1034617942023-Jul-24 18:09
coq_8.17.0+dfsg-1build1_armhf.deb 909219122023-Jul-24 18:09
coq_8.17.0+dfsg-1build1_ppc64el.deb 955543862023-Jul-24 17:37
coq_8.17.0+dfsg-1build1_riscv64.deb 918318862023-Jul-24 23:19
coq_8.17.0+dfsg-1build1_s390x.deb 945312782023-Jul-24 18:09
coq_8.17.0+dfsg.orig.tar.xz 47730322023-Jun-12 18:01
coq_8.18.0+dfsg-1build2.debian.tar.xz 333362024-Mar-31 18:36
coq_8.18.0+dfsg-1build2.dsc 26852024-Mar-31 18:36
coq_8.18.0+dfsg-1build2_arm64.deb 1066310862024-Apr-01 01:55
coq_8.18.0+dfsg-1build2_armhf.deb 936854982024-Apr-01 01:55
coq_8.18.0+dfsg-1build2_ppc64el.deb 985582142024-Mar-31 21:34
coq_8.18.0+dfsg-1build2_riscv64.deb 979888062024-Apr-01 01:56
coq_8.18.0+dfsg-1build2_s390x.deb 974711722024-Mar-31 20:38
coq_8.18.0+dfsg.orig.tar.xz 48683682023-Dec-22 19:46
coq_8.19.1+dfsg-3build3.debian.tar.xz 330122024-Sep-07 07:08
coq_8.19.1+dfsg-3build3.dsc 25722024-Sep-07 07:08
coq_8.19.1+dfsg-3build3_arm64.deb 1083978222024-Sep-07 08:10
coq_8.19.1+dfsg-3build3_ppc64el.deb 1030147922024-Sep-07 08:10
coq_8.19.1+dfsg-3build3_riscv64.deb 1030942242024-Sep-07 09:48
coq_8.19.1+dfsg-3build3_s390x.deb 1024775642024-Sep-07 08:10
coq_8.19.1+dfsg.orig.tar.bz2 55894712024-May-02 11:53
coq_8.4pl3dfsg-1.debian.tar.xz 158002014-Jan-19 23:18
coq_8.4pl3dfsg-1.dsc 23562014-Jan-19 23:18
coq_8.4pl3dfsg-1_arm64.deb 11089922014-Jan-20 03:43
coq_8.4pl3dfsg-1_armhf.deb 38942622014-Jan-20 01:03
coq_8.4pl3dfsg-1_powerpc.deb 35854382014-Jan-20 00:23
coq_8.4pl3dfsg-1_ppc64el.deb 11071662014-Feb-18 02:43
coq_8.4pl3dfsg.orig.tar.gz 35213382014-Jan-19 23:18
coq_8.4pl4dfsg-3build2.debian.tar.xz 161442015-Nov-04 13:14
coq_8.4pl4dfsg-3build2.dsc 23982015-Nov-04 13:14
coq_8.4pl4dfsg-3build2_arm64.deb 38971822015-Nov-04 14:29
coq_8.4pl4dfsg-3build2_armhf.deb 38088082015-Nov-04 14:55
coq_8.4pl4dfsg-3build2_powerpc.deb 34211142015-Nov-04 13:39
coq_8.4pl4dfsg-3build2_ppc64el.deb 10403902015-Nov-04 14:55
coq_8.4pl4dfsg-3build2_s390x.deb 10416042016-Jan-05 16:35
coq_8.4pl4dfsg.orig.tar.gz 35270762014-Jul-27 23:13
coq_8.6-5build1.debian.tar.xz 218642017-Oct-28 14:39
coq_8.6-5build1.dsc 24032017-Oct-28 14:39
coq_8.6-5build1_arm64.deb 188671122017-Oct-28 16:20
coq_8.6-5build1_armhf.deb 169997282017-Oct-28 16:20
coq_8.6-5build1_ppc64el.deb 182042482017-Oct-28 15:34
coq_8.6-5build1_s390x.deb 179298242017-Oct-28 15:35
coq_8.6.orig.tar.gz 50086042016-Dec-28 17:13
coqide_8.11.0-1_arm64.deb 21133882020-Mar-06 09:13
coqide_8.11.0-1_ppc64el.deb 19056962020-Mar-11 10:53
coqide_8.15.0+dfsg-2_arm64.deb 28773822022-Feb-06 12:54
coqide_8.15.0+dfsg-2_armhf.deb 21839442022-Feb-05 23:53
coqide_8.15.0+dfsg-2_ppc64el.deb 25451282022-Feb-05 23:53
coqide_8.15.0+dfsg-2_riscv64.deb 23071342022-Feb-05 23:53
coqide_8.15.0+dfsg-2_s390x.deb 24049222022-Feb-05 23:53
coqide_8.16.1+dfsg-1build2_arm64.deb 27938602023-Feb-16 10:58
coqide_8.16.1+dfsg-1build2_armhf.deb 21695382023-Feb-16 10:58
coqide_8.16.1+dfsg-1build2_ppc64el.deb 25052102023-Feb-16 10:58
coqide_8.16.1+dfsg-1build2_riscv64.deb 22586302023-Feb-16 15:11
coqide_8.16.1+dfsg-1build2_s390x.deb 23897142023-Feb-16 10:58
coqide_8.17.0+dfsg-1build1_arm64.deb 27828742023-Jul-24 18:09
coqide_8.17.0+dfsg-1build1_armhf.deb 21670342023-Jul-24 18:09
coqide_8.17.0+dfsg-1build1_ppc64el.deb 25076802023-Jul-24 17:37
coqide_8.17.0+dfsg-1build1_riscv64.deb 22533582023-Jul-24 23:19
coqide_8.17.0+dfsg-1build1_s390x.deb 24116162023-Jul-24 18:09
coqide_8.18.0+dfsg-1build2_arm64.deb 28201742024-Apr-01 01:55
coqide_8.18.0+dfsg-1build2_armhf.deb 21775242024-Apr-01 01:55
coqide_8.18.0+dfsg-1build2_ppc64el.deb 25129522024-Mar-31 21:34
coqide_8.18.0+dfsg-1build2_riscv64.deb 24288742024-Apr-01 01:56
coqide_8.18.0+dfsg-1build2_s390x.deb 24245422024-Mar-31 20:38
coqide_8.19.1+dfsg-3build3_arm64.deb 28943442024-Sep-07 08:10
coqide_8.19.1+dfsg-3build3_ppc64el.deb 25735302024-Sep-07 08:10
coqide_8.19.1+dfsg-3build3_riscv64.deb 25752662024-Sep-07 09:48
coqide_8.19.1+dfsg-3build3_s390x.deb 25514622024-Sep-07 08:10
coqide_8.4pl3dfsg-1_arm64.deb 2030962014-Jan-20 03:43
coqide_8.4pl3dfsg-1_armhf.deb 7757562014-Jan-20 01:03
coqide_8.4pl3dfsg-1_powerpc.deb 6422222014-Jan-20 00:23
coqide_8.4pl3dfsg-1_ppc64el.deb 2030162014-Feb-18 02:43
coqide_8.4pl4dfsg-3build2_arm64.deb 7719682015-Nov-04 14:29
coqide_8.4pl4dfsg-3build2_armhf.deb 7808542015-Nov-04 14:55
coqide_8.4pl4dfsg-3build2_powerpc.deb 6643262015-Nov-04 13:39
coqide_8.4pl4dfsg-3build2_ppc64el.deb 2127842015-Nov-04 14:55
coqide_8.4pl4dfsg-3build2_s390x.deb 2128322016-Jan-05 16:35
coqide_8.6-5build1_arm64.deb 17019882017-Oct-28 16:20
coqide_8.6-5build1_armhf.deb 14450162017-Oct-28 16:20
coqide_8.6-5build1_ppc64el.deb 17843882017-Oct-28 15:34
coqide_8.6-5build1_s390x.deb 18304842017-Oct-28 15:34
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb 455810262022-Feb-06 12:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb 458894742022-Feb-05 23:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb 457024542022-Feb-05 23:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb 455560182022-Feb-05 23:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb 454779902022-Feb-05 23:53
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_arm64..> 498443662023-Feb-16 10:58
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_armhf..> 499842482023-Feb-16 10:58
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_ppc64..> 508040022023-Feb-16 10:58
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_riscv..> 557446182023-Feb-16 15:11
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_s390x..> 489368582023-Feb-16 10:58
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_arm64..> 503045822023-Jul-24 18:09
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_armhf..> 504044762023-Jul-24 18:09
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_ppc64..> 512324242023-Jul-24 17:37
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_riscv..> 562462642023-Jul-24 23:19
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_s390x..> 493446562023-Jul-24 18:09
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64..> 518608722024-Apr-01 01:55
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf..> 519768422024-Apr-01 01:55
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64..> 528209642024-Mar-31 21:34
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv..> 587905122024-Apr-01 01:56
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x..> 508687622024-Mar-31 20:38
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64..> 682422622024-Sep-07 08:10
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_ppc64..> 692840322024-Sep-07 08:10
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_riscv..> 751864422024-Sep-07 09:48
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_s390x..> 677653922024-Sep-07 08:10
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb 283976342022-Feb-06 12:53
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb 269561062022-Feb-05 23:53
libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb 274291142022-Feb-05 23:53
libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb 270358682022-Feb-05 23:53
libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb 275159822022-Feb-05 23:53
libcoq-core-ocaml_8.16.1+dfsg-1build2_arm64.deb 283520682023-Feb-16 10:58
libcoq-core-ocaml_8.16.1+dfsg-1build2_armhf.deb 267382382023-Feb-16 10:58
libcoq-core-ocaml_8.16.1+dfsg-1build2_ppc64el.deb 272192522023-Feb-16 10:58
libcoq-core-ocaml_8.16.1+dfsg-1build2_riscv64.deb 267862662023-Feb-16 15:11
libcoq-core-ocaml_8.16.1+dfsg-1build2_s390x.deb 273939182023-Feb-16 10:58
libcoq-core-ocaml_8.17.0+dfsg-1build1_arm64.deb 286446802023-Jul-24 18:09
libcoq-core-ocaml_8.17.0+dfsg-1build1_armhf.deb 270528222023-Jul-24 18:09
libcoq-core-ocaml_8.17.0+dfsg-1build1_ppc64el.deb 275261802023-Jul-24 17:37
libcoq-core-ocaml_8.17.0+dfsg-1build1_riscv64.deb 270319302023-Jul-24 23:19
libcoq-core-ocaml_8.17.0+dfsg-1build1_s390x.deb 275848002023-Jul-24 18:09
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb 292032642024-Apr-01 01:55
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb 275473982024-Apr-01 01:55
libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb 280401562024-Mar-31 21:34
libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb 279205742024-Apr-01 01:56
libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb 281189022024-Mar-31 20:38
libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb 270931462024-Sep-07 08:10
libcoq-core-ocaml_8.19.1+dfsg-3build3_ppc64el.deb 262329262024-Sep-07 08:10
libcoq-core-ocaml_8.19.1+dfsg-3build3_riscv64.deb 262845262024-Sep-07 09:48
libcoq-core-ocaml_8.19.1+dfsg-3build3_s390x.deb 263983322024-Sep-07 08:10
libcoq-ocaml-dev_8.11.0-1_arm64.deb 164325682020-Mar-06 09:13
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb 164929242020-Mar-11 10:53
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb 12469442014-Jan-20 03:43
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb 40285742014-Jan-20 01:03
libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb 35765082014-Jan-20 00:23
libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb 12469662014-Feb-18 02:43
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb 39115762015-Nov-04 14:29
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb 41614802015-Nov-04 14:55
libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb 36967302015-Nov-04 13:39
libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb 12431602015-Nov-04 14:55
libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb 12436662016-Jan-05 16:35
libcoq-ocaml-dev_8.6-5build1_arm64.deb 140256682017-Oct-28 16:20
libcoq-ocaml-dev_8.6-5build1_armhf.deb 143134922017-Oct-28 16:20
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb 140888002017-Oct-28 15:34
libcoq-ocaml-dev_8.6-5build1_s390x.deb 138434602017-Oct-28 15:34
libcoq-ocaml_8.11.0-1_arm64.deb 68168042020-Mar-06 09:13
libcoq-ocaml_8.11.0-1_ppc64el.deb 65005882020-Mar-11 10:53
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb 3301962014-Jan-20 03:43
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb 15276722014-Jan-20 01:03
libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb 13746182014-Jan-20 00:23
libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb 3294422014-Feb-18 02:43
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb 14047042015-Nov-04 14:29
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb 14685222015-Nov-04 14:55
libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb 13253962015-Nov-04 13:39
libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb 3355902015-Nov-04 14:55
libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb 3378402016-Jan-05 16:35
libcoq-ocaml_8.6-5build1_arm64.deb 37982202017-Oct-28 16:20
libcoq-ocaml_8.6-5build1_armhf.deb 34981522017-Oct-28 16:20
libcoq-ocaml_8.6-5build1_ppc64el.deb 36631962017-Oct-28 15:34
libcoq-ocaml_8.6-5build1_s390x.deb 36243482017-Oct-28 15:34
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb 246960542022-Feb-06 12:54
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb 246994902022-Feb-05 23:53
libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb 246954782022-Feb-05 23:53
libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb 246951442022-Feb-05 23:53
libcoq-stdlib_8.15.0+dfsg-2_s390x.deb 246952202022-Feb-05 23:53
libcoq-stdlib_8.16.1+dfsg-1build2_arm64.deb 245194422023-Feb-16 10:58
libcoq-stdlib_8.16.1+dfsg-1build2_armhf.deb 245112442023-Feb-16 10:58
libcoq-stdlib_8.16.1+dfsg-1build2_ppc64el.deb 245183762023-Feb-16 10:58
libcoq-stdlib_8.16.1+dfsg-1build2_riscv64.deb 245186982023-Feb-16 15:11
libcoq-stdlib_8.16.1+dfsg-1build2_s390x.deb 245197002023-Feb-16 10:58
libcoq-stdlib_8.17.0+dfsg-1build1_arm64.deb 284403682023-Jul-24 18:09
libcoq-stdlib_8.17.0+dfsg-1build1_armhf.deb 284400102023-Jul-24 18:09
libcoq-stdlib_8.17.0+dfsg-1build1_ppc64el.deb 284481162023-Jul-24 17:37
libcoq-stdlib_8.17.0+dfsg-1build1_riscv64.deb 284478422023-Jul-24 23:19
libcoq-stdlib_8.17.0+dfsg-1build1_s390x.deb 284477042023-Jul-24 18:09
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb 265121602024-Apr-01 01:55
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb 265078482024-Apr-01 01:55
libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb 265119442024-Mar-31 21:34
libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb 265086142024-Apr-01 01:56
libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb 265112822024-Mar-31 20:38
libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb 270179962024-Sep-07 08:10
libcoq-stdlib_8.19.1+dfsg-3build3_ppc64el.deb 270169822024-Sep-07 08:10
libcoq-stdlib_8.19.1+dfsg-3build3_riscv64.deb 270167882024-Sep-07 09:48
libcoq-stdlib_8.19.1+dfsg-3build3_s390x.deb 270163102024-Sep-07 08:10

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