Index of /debian/pool/main/c/coq/

Name	Last Modified	Size
Parent Directory
coq-theories_8.12.0-3+b3_amd64.deb	25-11-2020 07:28	35648k
coq-theories_8.12.0-3+b3_arm64.deb	25-11-2020 07:58	23368k
coq-theories_8.12.0-3+b3_armel.deb	25-11-2020 17:44	23356k
coq-theories_8.12.0-3+b3_armhf.deb	25-11-2020 07:43	23360k
coq-theories_8.12.0-3+b3_i386.deb	25-11-2020 07:18	34412k
coq-theories_8.12.0-3+b3_mips64el.deb	25-11-2020 16:41	23364k
coq-theories_8.12.0-3+b3_mipsel.deb	26-11-2020 00:43	23356k
coq-theories_8.12.0-3+b3_ppc64el.deb	25-11-2020 07:28	23360k
coq-theories_8.9.0-1_amd64.deb	06-02-2019 18:49	29044k
coq-theories_8.9.0-1_arm64.deb	06-02-2019 20:26	19892k
coq-theories_8.9.0-1_armhf.deb	07-02-2019 21:15	19876k
coq-theories_8.9.0-1_i386.deb	06-02-2019 20:21	27752k
coq_8.12.0-3+b3_amd64.deb	25-11-2020 07:28	88336k
coq_8.12.0-3+b3_arm64.deb	25-11-2020 07:58	93824k
coq_8.12.0-3+b3_armel.deb	25-11-2020 17:44	103392k
coq_8.12.0-3+b3_armhf.deb	25-11-2020 07:43	86288k
coq_8.12.0-3+b3_i386.deb	25-11-2020 07:18	85828k
coq_8.12.0-3+b3_mips64el.deb	25-11-2020 16:41	103388k
coq_8.12.0-3+b3_mipsel.deb	26-11-2020 00:43	103404k
coq_8.12.0-3+b3_ppc64el.deb	25-11-2020 07:28	89336k
coq_8.12.0-3.debian.tar.xz	10-09-2020 06:38	40k
coq_8.12.0-3.dsc	10-09-2020 06:38	4k
coq_8.12.0.orig.tar.gz	22-08-2020 09:26	5868k
coq_8.16.1+dfsg-1+b2_amd64.deb	13-02-2023 01:14	91028k
coq_8.16.1+dfsg-1+b2_arm64.deb	13-02-2023 01:55	99776k
coq_8.16.1+dfsg-1+b2_armhf.deb	13-02-2023 01:55	87764k
coq_8.16.1+dfsg-1+b2_i386.deb	13-02-2023 01:29	85468k
coq_8.16.1+dfsg-1+b2_ppc64el.deb	13-02-2023 03:13	91688k
coq_8.16.1+dfsg-1+b2_s390x.deb	13-02-2023 01:45	91128k
coq_8.16.1+dfsg-1.debian.tar.xz	29-11-2022 08:35	36k
coq_8.16.1+dfsg-1.dsc	29-11-2022 08:35	4k
coq_8.16.1+dfsg.orig.tar.xz	29-11-2022 08:35	4608k
coq_8.18.0+dfsg-1.debian.tar.xz	21-12-2023 13:58	36k
coq_8.18.0+dfsg-1.dsc	21-12-2023 13:58	4k
coq_8.18.0+dfsg-1_amd64.deb	21-12-2023 17:16	79804k
coq_8.18.0+dfsg-1_arm64.deb	21-12-2023 15:19	86048k
coq_8.18.0+dfsg-1_armhf.deb	21-12-2023 15:24	76580k
coq_8.18.0+dfsg-1_i386.deb	21-12-2023 18:21	75348k
coq_8.18.0+dfsg-1_ppc64el.deb	21-12-2023 16:50	79780k
coq_8.18.0+dfsg-1_s390x.deb	21-12-2023 15:14	79312k
coq_8.18.0+dfsg.orig.tar.xz	21-12-2023 13:58	4756k
coq_8.19.1+dfsg-1.debian.tar.xz	26-04-2024 13:46	36k
coq_8.19.1+dfsg-1.dsc	26-04-2024 13:46	4k
coq_8.19.1+dfsg-1_amd64.deb	26-04-2024 14:22	80228k
coq_8.19.1+dfsg-1_arm64.deb	26-04-2024 14:22	86812k
coq_8.19.1+dfsg-1_armhf.deb	26-04-2024 14:56	77028k
coq_8.19.1+dfsg-1_i386.deb	26-04-2024 14:17	75860k
coq_8.19.1+dfsg-1_ppc64el.deb	26-04-2024 14:22	80440k
coq_8.19.1+dfsg-1_s390x.deb	26-04-2024 15:06	79696k
coq_8.19.1+dfsg.orig.tar.bz2	26-04-2024 13:46	5460k
coq_8.9.0-1.debian.tar.xz	06-02-2019 18:49	28k
coq_8.9.0-1.dsc	06-02-2019 18:49	4k
coq_8.9.0-1_amd64.deb	06-02-2019 18:49	57608k
coq_8.9.0-1_arm64.deb	06-02-2019 20:26	61856k
coq_8.9.0-1_armhf.deb	07-02-2019 21:15	55984k
coq_8.9.0-1_i386.deb	06-02-2019 20:21	54880k
coq_8.9.0.orig.tar.gz	06-02-2019 18:49	5272k
coqide_8.12.0-3+b3_amd64.deb	25-11-2020 07:28	1836k
coqide_8.12.0-3+b3_arm64.deb	25-11-2020 07:58	2120k
coqide_8.12.0-3+b3_armel.deb	25-11-2020 17:44	48k
coqide_8.12.0-3+b3_armhf.deb	25-11-2020 07:43	1700k
coqide_8.12.0-3+b3_i386.deb	25-11-2020 07:18	1684k
coqide_8.12.0-3+b3_mips64el.deb	25-11-2020 16:41	48k
coqide_8.12.0-3+b3_mipsel.deb	26-11-2020 00:43	48k
coqide_8.12.0-3+b3_ppc64el.deb	25-11-2020 07:28	1916k
coqide_8.16.1+dfsg-1+b2_amd64.deb	13-02-2023 01:14	1948k
coqide_8.16.1+dfsg-1+b2_arm64.deb	13-02-2023 01:55	2260k
coqide_8.16.1+dfsg-1+b2_armhf.deb	13-02-2023 01:55	1792k
coqide_8.16.1+dfsg-1+b2_i386.deb	13-02-2023 01:29	1764k
coqide_8.16.1+dfsg-1+b2_ppc64el.deb	13-02-2023 03:13	2028k
coqide_8.16.1+dfsg-1+b2_s390x.deb	13-02-2023 01:45	1936k
coqide_8.18.0+dfsg-1_amd64.deb	21-12-2023 17:16	1956k
coqide_8.18.0+dfsg-1_arm64.deb	21-12-2023 15:19	2264k
coqide_8.18.0+dfsg-1_armhf.deb	21-12-2023 15:24	1800k
coqide_8.18.0+dfsg-1_i386.deb	21-12-2023 18:21	1776k
coqide_8.18.0+dfsg-1_ppc64el.deb	21-12-2023 16:50	2024k
coqide_8.18.0+dfsg-1_s390x.deb	21-12-2023 15:14	1948k
coqide_8.19.1+dfsg-1_amd64.deb	26-04-2024 14:22	1960k
coqide_8.19.1+dfsg-1_arm64.deb	26-04-2024 14:22	2280k
coqide_8.19.1+dfsg-1_armhf.deb	26-04-2024 14:56	1808k
coqide_8.19.1+dfsg-1_i386.deb	26-04-2024 14:17	1780k
coqide_8.19.1+dfsg-1_ppc64el.deb	26-04-2024 14:22	2036k
coqide_8.19.1+dfsg-1_s390x.deb	26-04-2024 15:06	1968k
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb	13-02-2023 01:14	41728k
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb	13-02-2023 01:55	41824k
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb	13-02-2023 01:55	42104k
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb	13-02-2023 01:29	41456k
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_ppc64el.deb	13-02-2023 03:13	42544k
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_s390x.deb	13-02-2023 01:45	41256k
libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb	21-12-2023 17:16	43400k
libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb	21-12-2023 15:19	43476k
libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb	21-12-2023 15:24	43752k
libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb	21-12-2023 18:21	43104k
libcoq-core-ocaml-dev_8.18.0+dfsg-1_ppc64el.deb	21-12-2023 16:50	44208k
libcoq-core-ocaml-dev_8.18.0+dfsg-1_s390x.deb	21-12-2023 15:14	42860k
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb	26-04-2024 14:22	44156k
libcoq-core-ocaml-dev_8.19.1+dfsg-1_arm64.deb	26-04-2024 14:22	44252k
libcoq-core-ocaml-dev_8.19.1+dfsg-1_armhf.deb	26-04-2024 14:56	44536k
libcoq-core-ocaml-dev_8.19.1+dfsg-1_i386.deb	26-04-2024 14:17	43892k
libcoq-core-ocaml-dev_8.19.1+dfsg-1_ppc64el.deb	26-04-2024 14:22	45004k
libcoq-core-ocaml-dev_8.19.1+dfsg-1_s390x.deb	26-04-2024 15:06	43604k
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb	13-02-2023 01:14	22028k
libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb	13-02-2023 01:55	22552k
libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb	13-02-2023 01:55	21740k
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb	13-02-2023 01:29	21240k
libcoq-core-ocaml_8.16.1+dfsg-1+b2_ppc64el.deb	13-02-2023 03:13	22092k
libcoq-core-ocaml_8.16.1+dfsg-1+b2_s390x.deb	13-02-2023 01:45	22092k
libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb	21-12-2023 17:16	22672k
libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb	21-12-2023 15:19	23220k
libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb	21-12-2023 15:24	22408k
libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb	21-12-2023 18:21	21872k
libcoq-core-ocaml_8.18.0+dfsg-1_ppc64el.deb	21-12-2023 16:50	22744k
libcoq-core-ocaml_8.18.0+dfsg-1_s390x.deb	21-12-2023 15:14	22704k
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb	26-04-2024 14:22	22876k
libcoq-core-ocaml_8.19.1+dfsg-1_arm64.deb	26-04-2024 14:22	23424k
libcoq-core-ocaml_8.19.1+dfsg-1_armhf.deb	26-04-2024 14:56	22616k
libcoq-core-ocaml_8.19.1+dfsg-1_i386.deb	26-04-2024 14:17	22080k
libcoq-core-ocaml_8.19.1+dfsg-1_ppc64el.deb	26-04-2024 14:22	22948k
libcoq-core-ocaml_8.19.1+dfsg-1_s390x.deb	26-04-2024 15:06	22916k
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb	25-11-2020 07:28	18292k
libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb	25-11-2020 07:58	18288k
libcoq-ocaml-dev_8.12.0-3+b3_armel.deb	25-11-2020 17:44	11020k
libcoq-ocaml-dev_8.12.0-3+b3_armhf.deb	25-11-2020 07:43	18748k
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb	25-11-2020 07:18	18224k
libcoq-ocaml-dev_8.12.0-3+b3_mips64el.deb	25-11-2020 16:41	11016k
libcoq-ocaml-dev_8.12.0-3+b3_mipsel.deb	26-11-2020 00:43	11020k
libcoq-ocaml-dev_8.12.0-3+b3_ppc64el.deb	25-11-2020 07:28	18956k
libcoq-ocaml-dev_8.9.0-1_amd64.deb	06-02-2019 18:49	13384k
libcoq-ocaml-dev_8.9.0-1_arm64.deb	06-02-2019 20:26	13676k
libcoq-ocaml-dev_8.9.0-1_armhf.deb	07-02-2019 21:15	14056k
libcoq-ocaml-dev_8.9.0-1_i386.deb	06-02-2019 20:21	13408k
libcoq-ocaml_8.12.0-3+b3_amd64.deb	25-11-2020 07:28	7580k
libcoq-ocaml_8.12.0-3+b3_arm64.deb	25-11-2020 07:58	7796k
libcoq-ocaml_8.12.0-3+b3_armel.deb	25-11-2020 17:44	5336k
libcoq-ocaml_8.12.0-3+b3_armhf.deb	25-11-2020 07:43	7564k
libcoq-ocaml_8.12.0-3+b3_i386.deb	25-11-2020 07:18	7400k
libcoq-ocaml_8.12.0-3+b3_mips64el.deb	25-11-2020 16:41	5332k
libcoq-ocaml_8.12.0-3+b3_mipsel.deb	26-11-2020 00:43	5336k
libcoq-ocaml_8.12.0-3+b3_ppc64el.deb	25-11-2020 07:28	7636k
libcoq-ocaml_8.9.0-1_amd64.deb	06-02-2019 18:49	5336k
libcoq-ocaml_8.9.0-1_arm64.deb	06-02-2019 20:26	5668k
libcoq-ocaml_8.9.0-1_armhf.deb	07-02-2019 21:15	5260k
libcoq-ocaml_8.9.0-1_i386.deb	06-02-2019 20:21	5068k
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb	13-02-2023 01:14	21024k
libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb	13-02-2023 01:55	21024k
libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb	13-02-2023 01:55	21024k
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb	13-02-2023 01:29	21024k
libcoq-stdlib_8.16.1+dfsg-1+b2_ppc64el.deb	13-02-2023 03:13	21024k
libcoq-stdlib_8.16.1+dfsg-1+b2_s390x.deb	13-02-2023 01:45	21028k
libcoq-stdlib_8.18.0+dfsg-1_amd64.deb	21-12-2023 17:16	22696k
libcoq-stdlib_8.18.0+dfsg-1_arm64.deb	21-12-2023 15:19	22700k
libcoq-stdlib_8.18.0+dfsg-1_armhf.deb	21-12-2023 15:24	22692k
libcoq-stdlib_8.18.0+dfsg-1_i386.deb	21-12-2023 18:21	22692k
libcoq-stdlib_8.18.0+dfsg-1_ppc64el.deb	21-12-2023 16:50	22696k
libcoq-stdlib_8.18.0+dfsg-1_s390x.deb	21-12-2023 15:14	22692k
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb	26-04-2024 14:22	23108k
libcoq-stdlib_8.19.1+dfsg-1_arm64.deb	26-04-2024 14:22	23104k
libcoq-stdlib_8.19.1+dfsg-1_armhf.deb	26-04-2024 14:56	23108k
libcoq-stdlib_8.19.1+dfsg-1_i386.deb	26-04-2024 14:17	23100k
libcoq-stdlib_8.19.1+dfsg-1_ppc64el.deb	26-04-2024 14:22	23100k
libcoq-stdlib_8.19.1+dfsg-1_s390x.deb	26-04-2024 15:06	23108k

Alojado en Chile por Hostenode SpA - https://hnd.cl