ASNET-AM

MIRRORS.ASNET.AM

Archive at the Academic Scientific Research Computer Network of Armenia
Directory: /debian/pool/main/c/coq/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.16.1+dfsg-1+b2_arm64.deb 97M13-Feb-2023 05:55
coq_8.12.0-3+b3_arm64.deb 92M25-Nov-2020 11:58
coq_8.16.1+dfsg-1+b2_ppc64el.deb 90M13-Feb-2023 07:13
coq_8.16.1+dfsg-1+b2_s390x.deb 89M13-Feb-2023 05:45
coq_8.16.1+dfsg-1+b2_amd64.deb 89M13-Feb-2023 05:14
coq_8.12.0-3+b3_amd64.deb 86M25-Nov-2020 11:28
coq_8.16.1+dfsg-1+b2_armhf.deb 86M13-Feb-2023 05:55
coq_8.12.0-3+b3_armhf.deb 84M25-Nov-2020 11:43
coq_8.12.0-3+b3_i386.deb 84M25-Nov-2020 11:18
coq_8.16.1+dfsg-1+b2_i386.deb 83M13-Feb-2023 05:29
coq_8.20.1+dfsg-1+b5_arm64.deb 71M19-Jun-2026 10:35
coq_8.20.1+dfsg-1+b1_arm64.deb 71M15-Jun-2025 09:17
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb 70M15-Jun-2025 08:52
coq_8.20.1+dfsg-1+b3_riscv64.deb 69M20-Jun-2026 13:02
coq_8.20.1+dfsg-1+b3_s390x.deb 69M18-Jun-2026 15:54
coq_8.20.1+dfsg-1+b3_ppc64el.deb 68M19-Jun-2026 11:10
coq_8.20.1+dfsg-1+b1_riscv64.deb 68M15-Jun-2025 08:52
coq_8.20.1+dfsg-1+b4_amd64.deb 68M19-Jun-2026 09:42
coq_8.20.1+dfsg-1+b1_s390x.deb 68M16-Jun-2025 16:17
coq_8.20.1+dfsg-1+b1_ppc64el.deb 68M15-Jun-2025 09:53
coq_8.20.1+dfsg-1+b1_amd64.deb 67M15-Jun-2025 05:07
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_ppc64el.deb 66M15-Jun-2025 09:53
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb 66M15-Jun-2025 05:07
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb 65M15-Jun-2025 09:17
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_s390x.deb 65M16-Jun-2025 16:17
libcoq-core-ocaml-dev_9.2.0+dfsg-1_riscv64.deb 58M10-Jul-2026 19:18
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_riscv64.deb 54M20-Jun-2026 13:02
libcoq-core-ocaml-dev_9.2.0+dfsg-2_ppc64el.deb 54M21-Jul-2026 12:48
libcoq-core-ocaml-dev_9.2.0+dfsg-1_ppc64el.deb 54M10-Jul-2026 13:06
libcoq-core-ocaml-dev_9.2.0+dfsg-1_arm64.deb 53M10-Jul-2026 13:06
libcoq-core-ocaml-dev_9.2.0+dfsg-2_arm64.deb 53M21-Jul-2026 12:48
libcoq-core-ocaml-dev_9.2.0+dfsg-2+b1_amd64.deb 53M21-Jul-2026 18:41
libcoq-core-ocaml-dev_9.2.0+dfsg-1_amd64.deb 53M10-Jul-2026 12:36
libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb 53M21-Jul-2026 12:17
libcoq-core-ocaml-dev_9.2.0+dfsg-2_s390x.deb 53M21-Jul-2026 12:53
libcoq-core-ocaml-dev_9.2.0+dfsg-1_s390x.deb 53M10-Jul-2026 13:06
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_ppc64el.deb 50M19-Jun-2026 11:10
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb 50M19-Jun-2026 10:35
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb 50M19-Jun-2026 09:42
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_s390x.deb 49M18-Jun-2026 15:54
libcoq-core-ocaml-dev_9.2.0+dfsg-1_i386.deb 44M10-Jul-2026 13:06
libcoq-core-ocaml-dev_9.2.0+dfsg-1_armhf.deb 44M10-Jul-2026 13:06
libcoq-core-ocaml-dev_9.2.0+dfsg-2_i386.deb 44M21-Jul-2026 12:53
libcoq-core-ocaml-dev_9.2.0+dfsg-2_armhf.deb 44M21-Jul-2026 12:48
libcoq-core-ocaml-dev_9.2.0+dfsg-2_loong64.deb 44M21-Jul-2026 12:53
libcoq-core-ocaml-dev_9.2.0+dfsg-1_loong64.deb 44M10-Jul-2026 13:11
coq_9.2.0+dfsg-1_arm64.deb 42M10-Jul-2026 13:06
coq_9.2.0+dfsg-2_arm64.deb 42M21-Jul-2026 12:48
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb 42M13-Feb-2023 07:13
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb 41M13-Feb-2023 05:55
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb 41M13-Feb-2023 05:55
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb 41M13-Feb-2023 05:14
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 40M13-Feb-2023 05:29
coq_9.2.0+dfsg-1_riscv64.deb 40M10-Jul-2026 19:18
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 40M13-Feb-2023 05:45
coq_9.2.0+dfsg-2_s390x.deb 40M21-Jul-2026 12:53
coq_9.2.0+dfsg-1_s390x.deb 40M10-Jul-2026 13:06
coq_9.2.0+dfsg-2_ppc64el.deb 40M21-Jul-2026 12:48
coq_9.2.0+dfsg-1_ppc64el.deb 40M10-Jul-2026 13:06
coq_9.2.0+dfsg-2_amd64.deb 39M21-Jul-2026 12:17
coq_9.2.0+dfsg-1_amd64.deb 39M10-Jul-2026 12:36
coq_9.2.0+dfsg-2+b1_amd64.deb 39M21-Jul-2026 18:41
coq-theories_8.12.0-3+b3_amd64.deb 35M25-Nov-2020 11:28
coq-theories_8.12.0-3+b3_i386.deb 34M25-Nov-2020 11:18
libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb 25M15-Jun-2025 09:17
libcoq-core-ocaml_9.2.0+dfsg-2_arm64.deb 25M21-Jul-2026 12:48
libcoq-core-ocaml_9.2.0+dfsg-1_arm64.deb 25M10-Jul-2026 13:06
libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb 25M15-Jun-2025 08:52
libcoq-core-ocaml_8.20.1+dfsg-1+b1_s390x.deb 25M16-Jun-2025 16:17
libcoq-core-ocaml_8.20.1+dfsg-1+b1_ppc64el.deb 25M15-Jun-2025 09:53
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb 25M15-Jun-2025 05:07
libcoq-core-ocaml_9.2.0+dfsg-1_riscv64.deb 25M10-Jul-2026 19:18
libcoq-core-ocaml_9.2.0+dfsg-2_s390x.deb 25M21-Jul-2026 12:53
libcoq-core-ocaml_9.2.0+dfsg-1_s390x.deb 25M10-Jul-2026 13:06
libcoq-core-ocaml_9.2.0+dfsg-1_ppc64el.deb 25M10-Jul-2026 13:06
libcoq-core-ocaml_9.2.0+dfsg-2_ppc64el.deb 25M21-Jul-2026 12:48
libcoq-core-ocaml_9.2.0+dfsg-1_amd64.deb 25M10-Jul-2026 12:36
libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb 25M21-Jul-2026 12:17
libcoq-core-ocaml_9.2.0+dfsg-2+b1_amd64.deb 25M21-Jul-2026 18:41
libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb 23M19-Jun-2026 10:35
coq_9.2.0+dfsg-2_i386.deb 23M21-Jul-2026 12:53
coq_9.2.0+dfsg-1_i386.deb 23M10-Jul-2026 13:06
libcoq-core-ocaml_8.20.1+dfsg-1+b3_riscv64.deb 23M20-Jun-2026 13:02
libcoq-core-ocaml_8.20.1+dfsg-1+b3_s390x.deb 23M18-Jun-2026 15:54
coq_9.2.0+dfsg-1_loong64.deb 23M10-Jul-2026 13:11
libcoq-core-ocaml_8.20.1+dfsg-1+b3_ppc64el.deb 23M19-Jun-2026 11:10
coq_9.2.0+dfsg-2_loong64.deb 23M21-Jul-2026 12:53
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb 23M19-Jun-2026 09:42
coq_9.2.0+dfsg-2_armhf.deb 23M21-Jul-2026 12:48
coq_9.2.0+dfsg-1_armhf.deb 23M10-Jul-2026 13:06
coq-theories_8.12.0-3+b3_arm64.deb 23M25-Nov-2020 11:58
coq-theories_8.12.0-3+b3_armhf.deb 23M25-Nov-2020 11:43
libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb 22M15-Jun-2025 09:17
libcoq-stdlib_8.20.1+dfsg-1+b1_ppc64el.deb 22M15-Jun-2025 09:53
libcoq-stdlib_8.20.1+dfsg-1+b1_s390x.deb 22M16-Jun-2025 16:17
libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb 22M15-Jun-2025 08:52
libcoq-stdlib_8.20.1+dfsg-1+b3_ppc64el.deb 22M19-Jun-2026 11:10
libcoq-stdlib_8.20.1+dfsg-1+b3_riscv64.deb 22M20-Jun-2026 13:02
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb 22M15-Jun-2025 05:07
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb 22M19-Jun-2026 09:42
libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb 22M19-Jun-2026 10:35
libcoq-stdlib_8.20.1+dfsg-1+b3_s390x.deb 22M18-Jun-2026 15:54
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 22M13-Feb-2023 05:55
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb 22M13-Feb-2023 07:13
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb 22M13-Feb-2023 05:45
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb 22M13-Feb-2023 05:14
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 21M13-Feb-2023 05:55
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 21M13-Feb-2023 05:29
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb 21M13-Feb-2023 05:45
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb 21M13-Feb-2023 05:29
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 21M13-Feb-2023 07:13
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 21M13-Feb-2023 05:55
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 21M13-Feb-2023 05:55
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 21M13-Feb-2023 05:14
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 18M25-Nov-2020 11:43
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 18M25-Nov-2020 11:28
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 18M25-Nov-2020 11:58
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 18M25-Nov-2020 11:18
libcoq-core-ocaml_9.2.0+dfsg-2_i386.deb 17M21-Jul-2026 12:53
libcoq-core-ocaml_9.2.0+dfsg-1_i386.deb 17M10-Jul-2026 13:06
libcoq-core-ocaml_9.2.0+dfsg-2_armhf.deb 17M21-Jul-2026 12:48
libcoq-core-ocaml_9.2.0+dfsg-1_armhf.deb 17M10-Jul-2026 13:06
libcoq-core-ocaml_9.2.0+dfsg-2_loong64.deb 17M21-Jul-2026 12:53
libcoq-core-ocaml_9.2.0+dfsg-1_loong64.deb 17M10-Jul-2026 13:11
libcoq-ocaml_8.12.0-3+b3_arm64.deb 8M25-Nov-2020 11:58
libcoq-ocaml_8.12.0-3+b3_amd64.deb 7M25-Nov-2020 11:28
libcoq-ocaml_8.12.0-3+b3_armhf.deb 7M25-Nov-2020 11:43
libcoq-ocaml_8.12.0-3+b3_i386.deb 7M25-Nov-2020 11:18
coq_8.12.0.orig.tar.gz 6M22-Aug-2020 13:26
coq_8.20.1+dfsg.orig.tar.xz 5M17-Feb-2025 20:37
coq_8.16.1+dfsg.orig.tar.xz 4M29-Nov-2022 12:35
coq_9.2.0+dfsg.orig.tar.xz 4M10-Jul-2026 12:36
coqide_8.16.1+dfsg-1+b2_arm64.deb 2M13-Feb-2023 05:55
rocqide_9.2.0+dfsg-1_arm64.deb 2M10-Jul-2026 13:06
rocqide_9.2.0+dfsg-2_arm64.deb 2M21-Jul-2026 12:48
coqide_8.20.1+dfsg-1+b5_arm64.deb 2M19-Jun-2026 10:35
coqide_8.20.1+dfsg-1+b1_arm64.deb 2M15-Jun-2025 09:17
coqide_8.12.0-3+b3_arm64.deb 2M25-Nov-2020 11:58
coqide_8.16.1+dfsg-1+b2_ppc64el.deb 2M13-Feb-2023 07:13
rocqide_9.2.0+dfsg-1_riscv64.deb 2M10-Jul-2026 19:18
coqide_8.20.1+dfsg-1+b3_riscv64.deb 2M20-Jun-2026 13:02
rocqide_9.2.0+dfsg-2_s390x.deb 2M21-Jul-2026 12:53
rocqide_9.2.0+dfsg-1_s390x.deb 2M10-Jul-2026 13:06
coqide_8.20.1+dfsg-1+b3_s390x.deb 2M18-Jun-2026 15:54
coqide_8.20.1+dfsg-1+b1_riscv64.deb 2M15-Jun-2025 08:52
coqide_8.16.1+dfsg-1+b2_amd64.deb 2M13-Feb-2023 05:14
rocqide_9.2.0+dfsg-1_ppc64el.deb 2M10-Jul-2026 13:06
rocqide_9.2.0+dfsg-2_ppc64el.deb 2M21-Jul-2026 12:48
coqide_8.20.1+dfsg-1+b3_ppc64el.deb 2M19-Jun-2026 11:10
coqide_8.16.1+dfsg-1+b2_s390x.deb 2M13-Feb-2023 05:45
coqide_8.20.1+dfsg-1+b1_s390x.deb 2M16-Jun-2025 16:17
coqide_8.20.1+dfsg-1+b1_ppc64el.deb 2M15-Jun-2025 09:53
rocqide_9.2.0+dfsg-2+b1_amd64.deb 2M21-Jul-2026 18:41
rocqide_9.2.0+dfsg-2_amd64.deb 2M21-Jul-2026 12:17
rocqide_9.2.0+dfsg-1_amd64.deb 2M10-Jul-2026 12:36
coqide_8.20.1+dfsg-1+b4_amd64.deb 2M19-Jun-2026 09:42
coqide_8.20.1+dfsg-1+b1_amd64.deb 2M15-Jun-2025 05:07
coqide_8.12.0-3+b3_amd64.deb 2M25-Nov-2020 11:28
coqide_8.16.1+dfsg-1+b2_armhf.deb 2M13-Feb-2023 05:55
coqide_8.16.1+dfsg-1+b2_i386.deb 2M13-Feb-2023 05:29
coqide_8.12.0-3+b3_armhf.deb 2M25-Nov-2020 11:43
coqide_8.12.0-3+b3_i386.deb 2M25-Nov-2020 11:18
libcoq-core_9.2.0+dfsg-2_ppc64el.deb 1M21-Jul-2026 12:48
libcoq-core_9.2.0+dfsg-1_ppc64el.deb 1M10-Jul-2026 13:06
libcoq-core_9.2.0+dfsg-1_i386.deb 1M10-Jul-2026 13:06
libcoq-core_9.2.0+dfsg-2_i386.deb 1M21-Jul-2026 12:53
libcoq-core_9.2.0+dfsg-2_armhf.deb 1M21-Jul-2026 12:48
libcoq-core_9.2.0+dfsg-1_amd64.deb 1M10-Jul-2026 12:36
libcoq-core_9.2.0+dfsg-1_loong64.deb 1M10-Jul-2026 13:11
libcoq-core_9.2.0+dfsg-1_armhf.deb 1M10-Jul-2026 13:06
libcoq-core_9.2.0+dfsg-2_amd64.deb 1M21-Jul-2026 12:17
libcoq-core_9.2.0+dfsg-1_arm64.deb 1M10-Jul-2026 13:06
libcoq-core_9.2.0+dfsg-1_riscv64.deb 1M10-Jul-2026 19:18
libcoq-core_9.2.0+dfsg-2_arm64.deb 1M21-Jul-2026 12:48
libcoq-core_9.2.0+dfsg-2_loong64.deb 1M21-Jul-2026 12:53
libcoq-core_9.2.0+dfsg-2_s390x.deb 1M21-Jul-2026 12:53
libcoq-core_9.2.0+dfsg-2+b1_amd64.deb 1M21-Jul-2026 18:41
libcoq-core_9.2.0+dfsg-1_s390x.deb 1M10-Jul-2026 13:06
rocqide_9.2.0+dfsg-2_i386.deb 623K21-Jul-2026 12:53
rocqide_9.2.0+dfsg-1_i386.deb 623K10-Jul-2026 13:06
rocqide_9.2.0+dfsg-1_loong64.deb 596K10-Jul-2026 13:11
rocqide_9.2.0+dfsg-2_loong64.deb 594K21-Jul-2026 12:53
rocqide_9.2.0+dfsg-2_armhf.deb 553K21-Jul-2026 12:48
rocqide_9.2.0+dfsg-1_armhf.deb 553K10-Jul-2026 13:06
coq_8.12.0-3.debian.tar.xz 37K10-Sep-2020 10:38
coq_8.16.1+dfsg-1.debian.tar.xz 32K29-Nov-2022 12:35
coq_8.20.1+dfsg-1.debian.tar.xz 30K17-Feb-2025 20:37
coq_9.2.0+dfsg-2.debian.tar.xz 23K21-Jul-2026 12:17
coq_9.2.0+dfsg-1.debian.tar.xz 23K10-Jul-2026 12:36
coq_8.16.1+dfsg-1.dsc 262929-Nov-2022 12:35
coq_8.20.1+dfsg-1.dsc 258217-Feb-2025 20:37
coq_9.2.0+dfsg-1.dsc 249910-Jul-2026 12:36
coq_9.2.0+dfsg-2.dsc 249921-Jul-2026 12:17
coq_8.12.0-3.dsc 248310-Sep-2020 10:38