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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq_8.16.1+dfsg-1+b2_amd64.deb	2025-09-16 04:37	89M
	coq_8.16.1+dfsg-1+b2_arm64.deb	2025-09-16 04:37	97M
	coq_8.16.1+dfsg-1+b2_armhf.deb	2025-09-16 04:37	86M
	coq_8.20.1+dfsg-1+b1_amd64.deb	2025-09-16 04:37	67M
	coq_8.20.1+dfsg-1+b1_arm64.deb	2025-09-16 04:37	71M
	coq_8.20.1+dfsg-1+b1_riscv64.deb	2025-09-16 04:38	68M
	coqide_8.16.1+dfsg-1+b2_amd64.deb	2025-09-16 04:38	1.9M
	coqide_8.16.1+dfsg-1+b2_arm64.deb	2025-09-16 04:38	2.2M
	coqide_8.16.1+dfsg-1+b2_armhf.deb	2025-09-16 04:38	1.7M
	coqide_8.20.1+dfsg-1+b1_amd64.deb	2025-09-16 04:38	1.8M
	coqide_8.20.1+dfsg-1+b1_arm64.deb	2025-09-16 04:38	2.1M
	coqide_8.20.1+dfsg-1+b1_riscv64.deb	2025-09-16 04:38	1.9M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb	2025-09-16 04:38	41M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_arm64.deb	2025-09-16 04:38	41M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_armhf.deb	2025-09-16 04:38	41M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb	2025-09-16 04:38	66M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_arm64.deb	2025-09-16 04:38	65M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_riscv64.deb	2025-09-16 04:38	70M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb	2025-09-16 04:39	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_arm64.deb	2025-09-16 04:39	22M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_armhf.deb	2025-09-16 04:39	21M
	libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb	2025-09-16 04:39	25M
	libcoq-core-ocaml_8.20.1+dfsg-1+b1_arm64.deb	2025-09-16 04:39	25M
	libcoq-core-ocaml_8.20.1+dfsg-1+b1_riscv64.deb	2025-09-16 04:39	25M
	libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb	2025-09-16 04:39	21M
	libcoq-stdlib_8.16.1+dfsg-1+b2_arm64.deb	2025-09-16 04:39	21M
	libcoq-stdlib_8.16.1+dfsg-1+b2_armhf.deb	2025-09-16 04:39	21M
	libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb	2025-09-16 04:39	22M
	libcoq-stdlib_8.20.1+dfsg-1+b1_arm64.deb	2025-09-16 04:39	22M
	libcoq-stdlib_8.20.1+dfsg-1+b1_riscv64.deb	2025-09-16 04:39	22M