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.9.0-1.dsc 241706-Feb-2019 22:49
coq_8.12.0-3.dsc 248310-Sep-2020 10:38
coq_8.18.0+dfsg-1.dsc 257021-Dec-2023 17:58
coq_8.19.1+dfsg-1.dsc 257326-Apr-2024 17:46
coq_8.16.1+dfsg-1.dsc 262929-Nov-2022 12:35
coq_8.9.0-1.debian.tar.xz 27K06-Feb-2019 22:49
coq_8.19.1+dfsg-1.debian.tar.xz 32K26-Apr-2024 17:46
coq_8.18.0+dfsg-1.debian.tar.xz 32K21-Dec-2023 17:58
coq_8.16.1+dfsg-1.debian.tar.xz 32K29-Nov-2022 12:35
coq_8.12.0-3.debian.tar.xz 37K10-Sep-2020 10:38
coqide_8.12.0-3+b3_mips64el.deb 46K25-Nov-2020 20:41
coqide_8.12.0-3+b3_armel.deb 46K25-Nov-2020 21:44
coqide_8.12.0-3+b3_mipsel.deb 46K26-Nov-2020 04:43
coqide_8.12.0-3+b3_i386.deb 2M25-Nov-2020 11:18
coqide_8.12.0-3+b3_armhf.deb 2M25-Nov-2020 11:43
coqide_8.16.1+dfsg-1+b2_i386.deb 2M13-Feb-2023 05:29
coqide_8.18.0+dfsg-1_i386.deb 2M21-Dec-2023 22:21
coqide_8.18.0+dfsg-1+b1_i386.deb 2M13-Mar-2024 09:46
coqide_8.16.1+dfsg-1+b2_armhf.deb 2M13-Feb-2023 05:55
coqide_8.18.0+dfsg-1_armhf.deb 2M21-Dec-2023 19:24
coqide_8.18.0+dfsg-1+b1_armhf.deb 2M25-Mar-2024 15:12
coqide_8.12.0-3+b3_amd64.deb 2M25-Nov-2020 11:28
coqide_8.12.0-3+b3_ppc64el.deb 2M25-Nov-2020 11:28
coqide_8.16.1+dfsg-1+b2_s390x.deb 2M13-Feb-2023 05:45
coqide_8.18.0+dfsg-1_s390x.deb 2M21-Dec-2023 19:14
coqide_8.16.1+dfsg-1+b2_amd64.deb 2M13-Feb-2023 05:14
coqide_8.18.0+dfsg-1+b1_s390x.deb 2M13-Mar-2024 15:53
coqide_8.18.0+dfsg-1_amd64.deb 2M21-Dec-2023 21:16
coqide_8.18.0+dfsg-1+b1_amd64.deb 2M13-Mar-2024 09:25
coqide_8.18.0+dfsg-1+b1_riscv64.deb 2M27-Mar-2024 13:10
coqide_8.18.0+dfsg-1_ppc64el.deb 2M21-Dec-2023 20:50
coqide_8.16.1+dfsg-1+b2_ppc64el.deb 2M13-Feb-2023 07:13
coqide_8.18.0+dfsg-1+b1_ppc64el.deb 2M13-Mar-2024 08:28
coqide_8.12.0-3+b3_arm64.deb 2M25-Nov-2020 11:58
coqide_8.16.1+dfsg-1+b2_arm64.deb 2M13-Feb-2023 05:55
coqide_8.18.0+dfsg-1_arm64.deb 2M21-Dec-2023 19:19
coqide_8.18.0+dfsg-1+b1_arm64.deb 2M13-Mar-2024 07:35
coq_8.16.1+dfsg.orig.tar.xz 4M29-Nov-2022 12:35
coq_8.18.0+dfsg.orig.tar.xz 5M21-Dec-2023 17:58
libcoq-ocaml_8.9.0-1_i386.deb 5M07-Feb-2019 00:21
libcoq-ocaml_8.9.0-1_armhf.deb 5M08-Feb-2019 01:15
coq_8.9.0.orig.tar.gz 5M06-Feb-2019 22:49
libcoq-ocaml_8.12.0-3+b3_mips64el.deb 5M25-Nov-2020 20:41
libcoq-ocaml_8.12.0-3+b3_mipsel.deb 5M26-Nov-2020 04:43
libcoq-ocaml_8.12.0-3+b3_armel.deb 5M25-Nov-2020 21:44
libcoq-ocaml_8.9.0-1_amd64.deb 5M06-Feb-2019 22:49
coq_8.19.1+dfsg.orig.tar.bz2 5M26-Apr-2024 17:46
libcoq-ocaml_8.9.0-1_arm64.deb 6M07-Feb-2019 00:26
coq_8.12.0.orig.tar.gz 6M22-Aug-2020 13:26
libcoq-ocaml_8.12.0-3+b3_i386.deb 7M25-Nov-2020 11:18
libcoq-ocaml_8.12.0-3+b3_armhf.deb 7M25-Nov-2020 11:43
libcoq-ocaml_8.12.0-3+b3_amd64.deb 7M25-Nov-2020 11:28
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb 7M25-Nov-2020 11:28
libcoq-ocaml_8.12.0-3+b3_arm64.deb 8M25-Nov-2020 11:58
libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb 11M25-Nov-2020 20:41
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb 11M26-Nov-2020 04:43
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb 11M25-Nov-2020 21:44
libcoq-ocaml-dev_8.9.0-1_amd64.deb 13M06-Feb-2019 22:49
libcoq-ocaml-dev_8.9.0-1_i386.deb 13M07-Feb-2019 00:21
libcoq-ocaml-dev_8.9.0-1_arm64.deb 13M07-Feb-2019 00:26
libcoq-ocaml-dev_8.9.0-1_armhf.deb 14M08-Feb-2019 01:15
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb 18M25-Nov-2020 11:18
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb 18M25-Nov-2020 11:58
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb 18M25-Nov-2020 11:28
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb 18M25-Nov-2020 11:43
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb 19M25-Nov-2020 11:28
coq-theories_8.9.0-1_armhf.deb 19M08-Feb-2019 01:15
coq-theories_8.9.0-1_arm64.deb 19M07-Feb-2019 00:26
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb 21M13-Feb-2023 05:14
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb 21M13-Feb-2023 05:55
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb 21M13-Feb-2023 05:55
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb 21M13-Feb-2023 07:13
libcoq-stdlib_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-core-ocaml_8.16.1+dfsg-1+b2_i386.deb 21M13-Feb-2023 05:29
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb 21M13-Feb-2023 05:55
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb 21M21-Dec-2023 22:21
libcoq-core-ocaml_8.18.0+dfsg-1+b1_i386.deb 21M13-Mar-2024 09:46
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_s390x.deb 22M13-Feb-2023 05:45
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb 22M13-Feb-2023 07:13
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb 22M21-Dec-2023 19:24
libcoq-core-ocaml_8.18.0+dfsg-1+b1_armhf.deb 22M25-Mar-2024 15:12
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb 22M13-Feb-2023 05:55
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb 22M21-Dec-2023 21:16
libcoq-core-ocaml_8.18.0+dfsg-1+b1_amd64.deb 22M13-Mar-2024 09:25
libcoq-core-ocaml_8.18.0+dfsg-1+b1_riscv64.deb 22M27-Mar-2024 13:10
libcoq-stdlib_8.18.0+dfsg-1_s390x.deb 22M21-Dec-2023 19:14
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb 22M21-Dec-2023 19:24
libcoq-stdlib_8.18.0+dfsg-1+b1_s390x.deb 22M13-Mar-2024 15:53
libcoq-stdlib_8.18.0+dfsg-1_i386.deb 22M21-Dec-2023 22:21
libcoq-stdlib_8.18.0+dfsg-1+b1_armhf.deb 22M25-Mar-2024 15:12
libcoq-stdlib_8.18.0+dfsg-1+b1_i386.deb 22M13-Mar-2024 09:46
libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb 22M21-Dec-2023 20:50
libcoq-stdlib_8.18.0+dfsg-1+b1_amd64.deb 22M13-Mar-2024 09:25
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb 22M21-Dec-2023 21:16
libcoq-stdlib_8.18.0+dfsg-1+b1_ppc64el.deb 22M13-Mar-2024 08:28
libcoq-stdlib_8.18.0+dfsg-1+b1_riscv64.deb 22M27-Mar-2024 13:10
libcoq-stdlib_8.18.0+dfsg-1+b1_arm64.deb 22M13-Mar-2024 07:35
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb 22M21-Dec-2023 19:19
libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb 22M21-Dec-2023 19:14
libcoq-core-ocaml_8.18.0+dfsg-1+b1_s390x.deb 22M13-Mar-2024 15:53
libcoq-core-ocaml_8.18.0+dfsg-1+b1_ppc64el.deb 22M13-Mar-2024 08:28
libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb 22M21-Dec-2023 20:50
libcoq-core-ocaml_8.18.0+dfsg-1+b1_arm64.deb 23M13-Mar-2024 07:35
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb 23M21-Dec-2023 19:19
coq-theories_8.12.0-3+b3_armel.deb 23M25-Nov-2020 21:44
coq-theories_8.12.0-3+b3_mipsel.deb 23M26-Nov-2020 04:43
coq-theories_8.12.0-3+b3_armhf.deb 23M25-Nov-2020 11:43
coq-theories_8.12.0-3+b3_ppc64el.deb 23M25-Nov-2020 11:28
coq-theories_8.12.0-3+b3_mips64el.deb 23M25-Nov-2020 20:41
coq-theories_8.12.0-3+b3_arm64.deb 23M25-Nov-2020 11:58
coq-theories_8.9.0-1_i386.deb 27M07-Feb-2019 00:21
coq-theories_8.9.0-1_amd64.deb 28M06-Feb-2019 22:49
coq-theories_8.12.0-3+b3_i386.deb 34M25-Nov-2020 11:18
coq-theories_8.12.0-3+b3_amd64.deb 35M25-Nov-2020 11:28
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb 40M13-Feb-2023 05:45
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb 40M13-Feb-2023 05:29
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_arm64.deb 41M13-Feb-2023 05:55
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_ppc64el.deb 42M13-Feb-2023 07:13
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_s390x.deb 42M13-Mar-2024 15:53
libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb 42M21-Dec-2023 19:14
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb 42M21-Dec-2023 22:21
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_i386.deb 42M13-Mar-2024 09:46
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_amd64.deb 42M13-Mar-2024 09:25
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb 42M21-Dec-2023 21:16
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_arm64.deb 42M13-Mar-2024 07:35
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb 42M21-Dec-2023 19:19
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_armhf.deb 43M25-Mar-2024 15:12
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb 43M21-Dec-2023 19:24
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_ppc64el.deb 43M13-Mar-2024 08:28
libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb 43M21-Dec-2023 20:50
libcoq-core-ocaml-dev_8.18.0+dfsg-1+b1_riscv64.deb 47M27-Mar-2024 13:10
coq_8.9.0-1_i386.deb 54M07-Feb-2019 00:21
coq_8.9.0-1_armhf.deb 55M08-Feb-2019 01:15
coq_8.9.0-1_amd64.deb 56M06-Feb-2019 22:49
coq_8.9.0-1_arm64.deb 60M07-Feb-2019 00:26
coq_8.18.0+dfsg-1+b1_i386.deb 74M13-Mar-2024 09:46
coq_8.18.0+dfsg-1_i386.deb 74M21-Dec-2023 22:21
coq_8.18.0+dfsg-1+b1_armhf.deb 75M25-Mar-2024 15:12
coq_8.18.0+dfsg-1_armhf.deb 75M21-Dec-2023 19:24
coq_8.18.0+dfsg-1+b1_riscv64.deb 77M27-Mar-2024 13:10
coq_8.18.0+dfsg-1_s390x.deb 77M21-Dec-2023 19:14
coq_8.18.0+dfsg-1+b1_s390x.deb 77M13-Mar-2024 15:53
coq_8.18.0+dfsg-1_ppc64el.deb 78M21-Dec-2023 20:50
coq_8.18.0+dfsg-1+b1_ppc64el.deb 78M13-Mar-2024 08:28
coq_8.18.0+dfsg-1_amd64.deb 78M21-Dec-2023 21:16
coq_8.18.0+dfsg-1+b1_amd64.deb 78M13-Mar-2024 09:25
coq_8.16.1+dfsg-1+b2_i386.deb 83M13-Feb-2023 05:29
coq_8.12.0-3+b3_i386.deb 84M25-Nov-2020 11:18
coq_8.18.0+dfsg-1_arm64.deb 84M21-Dec-2023 19:19
coq_8.18.0+dfsg-1+b1_arm64.deb 84M13-Mar-2024 07:35
coq_8.12.0-3+b3_armhf.deb 84M25-Nov-2020 11:43
coq_8.16.1+dfsg-1+b2_armhf.deb 86M13-Feb-2023 05:55
coq_8.12.0-3+b3_amd64.deb 86M25-Nov-2020 11:28
coq_8.12.0-3+b3_ppc64el.deb 87M25-Nov-2020 11:28
coq_8.16.1+dfsg-1+b2_amd64.deb 89M13-Feb-2023 05:14
coq_8.16.1+dfsg-1+b2_s390x.deb 89M13-Feb-2023 05:45
coq_8.16.1+dfsg-1+b2_ppc64el.deb 90M13-Feb-2023 07:13
coq_8.12.0-3+b3_arm64.deb 92M25-Nov-2020 11:58
coq_8.16.1+dfsg-1+b2_arm64.deb 97M13-Feb-2023 05:55
coq_8.12.0-3+b3_mips64el.deb 101M25-Nov-2020 20:41
coq_8.12.0-3+b3_armel.deb 101M25-Nov-2020 21:44
coq_8.12.0-3+b3_mipsel.deb 101M26-Nov-2020 04:43