Index of /pub/Linux/kali/pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq_8.20.1+dfsg-1.debian.tar.xz	2025-02-18 01:37	30K
	coq_8.20.1+dfsg-1.dsc	2025-02-18 01:37	2.5K
	coq_8.20.1+dfsg.orig.tar.xz	2025-02-18 01:37	4.8M
	coq_8.20.1+dfsg-1+b4_arm64.deb	2026-02-12 18:13	71M
	coqide_8.20.1+dfsg-1+b4_arm64.deb	2026-02-12 18:13	2.2M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_arm64.deb	2026-02-12 18:13	50M
	libcoq-core-ocaml_8.20.1+dfsg-1+b4_arm64.deb	2026-02-12 18:13	23M
	libcoq-stdlib_8.20.1+dfsg-1+b4_arm64.deb	2026-02-12 18:13	22M
	coq_8.20.1+dfsg-1+b3_amd64.deb	2026-02-12 18:13	68M
	coqide_8.20.1+dfsg-1+b3_amd64.deb	2026-02-12 18:13	1.8M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1+b3_amd64.deb	2026-02-12 18:13	50M
	libcoq-core-ocaml_8.20.1+dfsg-1+b3_amd64.deb	2026-02-12 18:13	23M
	libcoq-stdlib_8.20.1+dfsg-1+b3_amd64.deb	2026-02-12 18:13	22M
	coq_8.20.1+dfsg-1+b4_amd64.deb	2026-06-19 14:42	68M
	coqide_8.20.1+dfsg-1+b4_amd64.deb	2026-06-19 14:42	1.8M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb	2026-06-19 14:42	50M
	libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb	2026-06-19 14:42	23M
	libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb	2026-06-19 14:42	22M
	coq_8.20.1+dfsg-1+b5_arm64.deb	2026-06-19 15:35	71M
	coqide_8.20.1+dfsg-1+b5_arm64.deb	2026-06-19 15:35	2.1M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1+b5_arm64.deb	2026-06-19 15:35	50M
	libcoq-core-ocaml_8.20.1+dfsg-1+b5_arm64.deb	2026-06-19 15:35	23M
	libcoq-stdlib_8.20.1+dfsg-1+b5_arm64.deb	2026-06-19 15:35	22M