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

	Name	Last modified	Size
	Parent Directory		-
	coq_8.19.1+dfsg-2.dsc	2024-06-15 08:05	2.3K
	coq_8.18.0+dfsg-1.dsc	2023-12-21 14:58	2.5K
	coq_8.19.1+dfsg-2.debian.tar.xz	2024-06-15 08:05	32K
	coq_8.18.0+dfsg-1.debian.tar.xz	2023-12-21 14:58	32K
	coqide_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	1.7M
	coqide_8.19.1+dfsg-2_i386.deb	2024-06-15 08:47	1.7M
	coqide_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	1.8M
	coqide_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	1.8M
	coqide_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	1.9M
	coqide_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	1.9M
	coqide_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	2.2M
	coqide_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	2.2M
	coq_8.18.0+dfsg.orig.tar.xz	2023-12-21 14:58	4.6M
	coq_8.19.1+dfsg.orig.tar.bz2	2024-04-26 15:46	5.3M
	libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	21M
	libcoq-core-ocaml_8.19.1+dfsg-2_i386.deb	2024-06-15 08:47	22M
	libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	22M
	libcoq-core-ocaml_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	22M
	libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	22M
	libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	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
	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.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	23M
	libcoq-stdlib_8.19.1+dfsg-2_i386.deb	2024-06-15 08:47	23M
	libcoq-stdlib_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	23M
	libcoq-stdlib_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	23M
	libcoq-core-ocaml_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	23M
	libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	23M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	42M
	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.19.1+dfsg-2_i386.deb	2024-06-15 08:47	43M
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	43M
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	44M
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	44M
	coq_8.18.0+dfsg-1_i386.deb	2023-12-21 19:21	74M
	coq_8.18.0+dfsg-1_armhf.deb	2023-12-21 16:24	75M
	coq_8.19.1+dfsg-2_i386.deb	2024-06-15 08:47	75M
	coq_8.19.1+dfsg-2_armhf.deb	2024-06-15 08:47	76M
	coq_8.18.0+dfsg-1_amd64.deb	2023-12-21 18:16	78M
	coq_8.19.1+dfsg-2_amd64.deb	2024-06-15 08:46	79M
	coq_8.19.1+dfsg-2_arm64.deb	2024-06-15 09:02	84M
	coq_8.18.0+dfsg-1_arm64.deb	2023-12-21 16:19	84M