Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

	Name	Last modified	Size
	Parent Directory		-
	coq-theories_8.9.0-1_armhf.deb	2019-02-25 23:08	19M
	coq-theories_8.12.0-3+b2_armhf.deb	2020-12-04 06:49	23M
	coqide_8.12.0-3+b2_armhf.deb	2020-12-04 06:49	1.6M
	coqide_8.16.1+dfsg-1+b2_armhf.deb	2023-05-21 04:08	1.7M
	coqide_8.18.0+dfsg-1_armhf.deb	2024-01-23 23:08	1.7M
	coq_8.9.0-1.debian.tar.xz	2019-02-07 07:49	27K
	coq_8.9.0-1.dsc	2019-02-07 07:49	2.4K
	coq_8.9.0-1_armhf.deb	2019-02-25 23:08	53M
	coq_8.9.0.orig.tar.gz	2019-02-07 07:49	5.1M
	coq_8.12.0-3+b2_armhf.deb	2020-12-04 06:49	82M
	coq_8.12.0-3.debian.tar.xz	2020-09-10 18:38	37K
	coq_8.12.0-3.dsc	2020-09-10 18:38	2.4K
	coq_8.12.0.orig.tar.gz	2020-08-22 21:26	5.7M
	coq_8.16.1+dfsg-1+b2_armhf.deb	2023-05-21 04:08	83M
	coq_8.16.1+dfsg-1.debian.tar.xz	2022-11-29 21:35	32K
	coq_8.16.1+dfsg-1.dsc	2022-11-29 21:35	2.6K
	coq_8.16.1+dfsg.orig.tar.xz	2022-11-29 21:35	4.5M
	coq_8.18.0+dfsg-1.debian.tar.xz	2023-12-22 02:58	32K
	coq_8.18.0+dfsg-1.dsc	2023-12-22 02:58	2.5K
	coq_8.18.0+dfsg-1_armhf.deb	2024-01-23 23:08	73M
	coq_8.18.0+dfsg.orig.tar.xz	2023-12-22 02:58	4.6M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb	2023-05-21 04:08	41M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb	2024-01-23 23:08	43M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb	2023-05-21 04:08	21M
	libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb	2024-01-23 23:08	22M
	libcoq-ocaml-dev_8.9.0-1_armhf.deb	2019-02-25 23:08	14M
	libcoq-ocaml-dev_8.12.0-3+b2_armhf.deb	2020-12-04 06:49	18M
	libcoq-ocaml_8.9.0-1_armhf.deb	2019-02-25 23:08	5.1M
	libcoq-ocaml_8.12.0-3+b2_armhf.deb	2020-12-04 06:49	7.3M
	libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb	2023-05-21 04:08	21M
	libcoq-stdlib_8.18.0+dfsg-1_armhf.deb	2024-01-23 23:08	22M