Index of /mirror/kali.org/kali/pool/main/c/coq

	Name	Last modified	Size
	Parent Directory		-
	coq_8.18.0+dfsg-1.debian.tar.xz	2023-12-21 14:58	32K
	coq_8.18.0+dfsg-1.dsc	2023-12-21 14:58	2.5K
	coq_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	78M
	coq_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	84M
	coq_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	75M
	coq_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	74M
	coq_8.18.0+dfsg.orig.tar.xz	2023-12-21 14:58	4.6M
	coqide_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	1.9M
	coqide_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	2.2M
	coqide_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	1.8M
	coqide_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	1.7M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	42M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	42M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	43M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	42M
	libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	22M
	libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	23M
	libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	22M
	libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	21M
	libcoq-stdlib_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	22M
	libcoq-stdlib_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	22M
	libcoq-stdlib_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	22M
	libcoq-stdlib_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	22M