Welcome to mirror.mobinhost.com

This mirror is located at Tehran, The Iran and is running on a 100 Gbps connection with approximately 120 TB storage.

This archive is available over http and https

HTTP [http://mirror.mobinhost.com]
HTTPS [https://mirror.mobinhost.com]
FTP [ftp://mirror.mobinhost.com]
RSYNC [rsync://mirror.mobinhost.com]

If you have any issues or comments, please contact the mirror admins via e-mail at .

/debian/pool/main/c/coq/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.9.0-1_amd64.deb28.4 MiB2019-Feb-06 18:49
coq_8.9.0-1.dsc2.4 KiB2019-Feb-06 18:49
libcoq-ocaml-dev_8.9.0-1_amd64.deb13.1 MiB2019-Feb-06 18:49
libcoq-ocaml_8.9.0-1_amd64.deb5.2 MiB2019-Feb-06 18:49
coq_8.9.0-1_amd64.deb56.3 MiB2019-Feb-06 18:49
coq_8.9.0.orig.tar.gz5.1 MiB2019-Feb-06 18:49
coq_8.9.0-1.debian.tar.xz27.2 KiB2019-Feb-06 18:49
coq-theories_8.9.0-1_i386.deb27.1 MiB2019-Feb-06 20:21
coq_8.9.0-1_i386.deb53.6 MiB2019-Feb-06 20:21
libcoq-ocaml_8.9.0-1_i386.deb4.9 MiB2019-Feb-06 20:21
libcoq-ocaml-dev_8.9.0-1_i386.deb13.1 MiB2019-Feb-06 20:21
coq-theories_8.9.0-1_arm64.deb19.4 MiB2019-Feb-06 20:26
coq_8.9.0-1_arm64.deb60.4 MiB2019-Feb-06 20:26
libcoq-ocaml-dev_8.9.0-1_arm64.deb13.4 MiB2019-Feb-06 20:26
libcoq-ocaml_8.9.0-1_arm64.deb5.5 MiB2019-Feb-06 20:26
libcoq-ocaml-dev_8.9.0-1_armhf.deb13.7 MiB2019-Feb-07 21:15
coq_8.9.0-1_armhf.deb54.7 MiB2019-Feb-07 21:15
coq-theories_8.9.0-1_armhf.deb19.4 MiB2019-Feb-07 21:15
libcoq-ocaml_8.9.0-1_armhf.deb5.1 MiB2019-Feb-07 21:15
coq_8.12.0.orig.tar.gz5.7 MiB2020-Aug-22 09:26
coq_8.12.0-3.debian.tar.xz36.9 KiB2020-Sep-10 06:38
coq_8.12.0-3.dsc2.4 KiB2020-Sep-10 06:38
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb17.8 MiB2020-Nov-25 07:18
coqide_8.12.0-3+b3_i386.deb1.6 MiB2020-Nov-25 07:18
coq_8.12.0-3+b3_i386.deb83.8 MiB2020-Nov-25 07:18
coq-theories_8.12.0-3+b3_i386.deb33.6 MiB2020-Nov-25 07:18
libcoq-ocaml_8.12.0-3+b3_i386.deb7.2 MiB2020-Nov-25 07:18
coq-theories_8.12.0-3+b3_amd64.deb34.8 MiB2020-Nov-25 07:28
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb17.9 MiB2020-Nov-25 07:28
coqide_8.12.0-3+b3_amd64.deb1.8 MiB2020-Nov-25 07:28
coq_8.12.0-3+b3_amd64.deb86.3 MiB2020-Nov-25 07:28
libcoq-ocaml_8.12.0-3+b3_amd64.deb7.4 MiB2020-Nov-25 07:28
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb7.5 MiB2020-Nov-25 07:28
coqide_8.12.0-3+b3_ppc64el.deb1.9 MiB2020-Nov-25 07:28
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb18.5 MiB2020-Nov-25 07:28
coq-theories_8.12.0-3+b3_ppc64el.deb22.8 MiB2020-Nov-25 07:28
coq_8.12.0-3+b3_ppc64el.deb87.2 MiB2020-Nov-25 07:28
coqide_8.12.0-3+b3_armhf.deb1.7 MiB2020-Nov-25 07:43
coq-theories_8.12.0-3+b3_armhf.deb22.8 MiB2020-Nov-25 07:43
coq_8.12.0-3+b3_armhf.deb84.3 MiB2020-Nov-25 07:43
libcoq-ocaml_8.12.0-3+b3_armhf.deb7.4 MiB2020-Nov-25 07:43
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb18.3 MiB2020-Nov-25 07:43
coq-theories_8.12.0-3+b3_arm64.deb22.8 MiB2020-Nov-25 07:58
coq_8.12.0-3+b3_arm64.deb91.6 MiB2020-Nov-25 07:58
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb17.9 MiB2020-Nov-25 07:58
libcoq-ocaml_8.12.0-3+b3_arm64.deb7.6 MiB2020-Nov-25 07:58
coqide_8.12.0-3+b3_arm64.deb2.1 MiB2020-Nov-25 07:58
libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb10.8 MiB2020-Nov-25 16:41
coq_8.12.0-3+b3_mips64el.deb101.0 MiB2020-Nov-25 16:41
libcoq-ocaml_8.12.0-3+b3_mips64el.deb5.2 MiB2020-Nov-25 16:41
coqide_8.12.0-3+b3_mips64el.deb45.6 KiB2020-Nov-25 16:41
coq-theories_8.12.0-3+b3_mips64el.deb22.8 MiB2020-Nov-25 16:41
coq-theories_8.12.0-3+b3_armel.deb22.8 MiB2020-Nov-25 17:44
coq_8.12.0-3+b3_armel.deb101.0 MiB2020-Nov-25 17:44
coqide_8.12.0-3+b3_armel.deb45.7 KiB2020-Nov-25 17:44
libcoq-ocaml_8.12.0-3+b3_armel.deb5.2 MiB2020-Nov-25 17:44
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb10.8 MiB2020-Nov-25 17:44
coq-theories_8.12.0-3+b3_mipsel.deb22.8 MiB2020-Nov-26 00:43
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb10.8 MiB2020-Nov-26 00:43
coqide_8.12.0-3+b3_mipsel.deb45.7 KiB2020-Nov-26 00:43
coq_8.12.0-3+b3_mipsel.deb101.0 MiB2020-Nov-26 00:43
libcoq-ocaml_8.12.0-3+b3_mipsel.deb5.2 MiB2020-Nov-26 00:43
coq_8.16.1+dfsg.orig.tar.xz4.5 MiB2022-Nov-29 08:35
coq_8.16.1+dfsg-1.dsc2.6 KiB2022-Nov-29 08:35
coq_8.16.1+dfsg-1.debian.tar.xz32.5 KiB2022-Nov-29 08:35
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb40.7 MiB2023-Feb-13 01:14
coq_8.16.1+dfsg-1+b2_amd64.deb88.9 MiB2023-Feb-13 01:14
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb20.5 MiB2023-Feb-13 01:14
coqide_8.16.1+dfsg-1+b2_amd64.deb1.9 MiB2023-Feb-13 01:14
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb21.5 MiB2023-Feb-13 01:14
coqide_8.16.1+dfsg-1+b2_i386.deb1.7 MiB2023-Feb-13 01:29
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb20.5 MiB2023-Feb-13 01:29
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb20.7 MiB2023-Feb-13 01:29
coq_8.16.1+dfsg-1+b2_i386.deb83.5 MiB2023-Feb-13 01:29
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb40.5 MiB2023-Feb-13 01:29
coq_8.16.1+dfsg-1+b2_s390x.deb89.0 MiB2023-Feb-13 01:45
coqide_8.16.1+dfsg-1+b2_s390x.deb1.9 MiB2023-Feb-13 01:45
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb20.5 MiB2023-Feb-13 01:45
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb40.3 MiB2023-Feb-13 01:45
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb21.6 MiB2023-Feb-13 01:45
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb20.5 MiB2023-Feb-13 01:55
coq_8.16.1+dfsg-1+b2_armhf.deb85.7 MiB2023-Feb-13 01:55
coqide_8.16.1+dfsg-1+b2_armhf.deb1.7 MiB2023-Feb-13 01:55
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb41.1 MiB2023-Feb-13 01:55
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb21.2 MiB2023-Feb-13 01:55
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb20.5 MiB2023-Feb-13 01:55
coqide_8.16.1+dfsg-1+b2_arm64.deb2.2 MiB2023-Feb-13 01:55
coq_8.16.1+dfsg-1+b2_arm64.deb97.4 MiB2023-Feb-13 01:55
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb40.8 MiB2023-Feb-13 01:55
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb22.0 MiB2023-Feb-13 01:55
coq_8.16.1+dfsg-1+b2_ppc64el.deb89.5 MiB2023-Feb-13 03:13
coqide_8.16.1+dfsg-1+b2_ppc64el.deb2.0 MiB2023-Feb-13 03:13
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb20.5 MiB2023-Feb-13 03:13
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb41.5 MiB2023-Feb-13 03:13
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb21.6 MiB2023-Feb-13 03:13
coq_8.20.0+dfsg-1.debian.tar.xz29.5 KiB2024-Nov-20 09:52
coq_8.20.0+dfsg.orig.tar.xz4.8 MiB2024-Nov-20 09:52
coq_8.20.0+dfsg-1.dsc2.5 KiB2024-Nov-20 09:52
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb22.4 MiB2024-Nov-20 10:33
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb66.2 MiB2024-Nov-20 10:33
coq_8.20.0+dfsg-1_amd64.deb73.4 MiB2024-Nov-20 10:33
coqide_8.20.0+dfsg-1_amd64.deb1.8 MiB2024-Nov-20 10:33
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb24.7 MiB2024-Nov-20 10:33
coqide_8.20.0+dfsg-1_arm64.deb2.1 MiB2024-Nov-20 10:58
coq_8.20.0+dfsg-1_arm64.deb77.1 MiB2024-Nov-20 10:58
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb22.4 MiB2024-Nov-20 10:58
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb25.1 MiB2024-Nov-20 10:58
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb66.0 MiB2024-Nov-20 10:58
libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb22.4 MiB2024-Nov-20 11:00
coqide_8.20.0+dfsg-1_ppc64el.deb1.9 MiB2024-Nov-20 11:00
libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb24.7 MiB2024-Nov-20 11:00
libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb66.8 MiB2024-Nov-20 11:00
coq_8.20.0+dfsg-1_ppc64el.deb73.6 MiB2024-Nov-20 11:00
coqide_8.20.0+dfsg-1_riscv64.deb1.9 MiB2024-Nov-20 13:10
coq_8.20.0+dfsg-1_riscv64.deb73.9 MiB2024-Nov-20 13:10
libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb70.8 MiB2024-Nov-20 13:10
libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb22.4 MiB2024-Nov-20 13:10
libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb24.7 MiB2024-Nov-20 13:10
libcoq-stdlib_8.20.0+dfsg-1_s390x.deb22.4 MiB2024-Nov-20 15:02
libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb24.7 MiB2024-Nov-20 15:02
coqide_8.20.0+dfsg-1_s390x.deb1.9 MiB2024-Nov-20 15:02
libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb65.7 MiB2024-Nov-20 15:02
coq_8.20.0+dfsg-1_s390x.deb73.7 MiB2024-Nov-20 15:02

DISCLAIMER:

This website is offered to you by MobinHost (a private company with limited liability, incorporated under the laws of the Iran). All files offered on this site (the “Files”) are provided for the interest and convenience of visitors to this site. MobinHost has no control over the Files and MobinHost does not provide any guarantee concerning (the content of) the Files, does not vouch for the quality of the Files, and is not responsible or liable in connection with these files. The use of the Files is solely at the customer’s own risk. This website, the disclaimer and the use of the Files are governed by the laws of the Iran. All disputes in connection with the website, the disclaimer and the use of the Files will be submitted for the exclusive settlement to the competent court in Tehran, The Iran.