Folder Path

/kali/pool/main/c/coq/

0 directories 23 files

	Name	Size	Modified
	Up
	coq_8.18.0+dfsg-1.debian.tar.xz	32 KiB	12/21/2023 01:58:44 PM +00:00
	coq_8.18.0+dfsg-1.dsc	2.5 KiB	12/21/2023 01:58:44 PM +00:00
	coq_8.18.0+dfsg-1_amd64.deb	78 MiB	12/21/2023 05:16:05 PM +00:00
	coq_8.18.0+dfsg-1_arm64.deb	84 MiB	12/21/2023 03:19:39 PM +00:00
	coq_8.18.0+dfsg-1_armhf.deb	75 MiB	12/21/2023 03:24:43 PM +00:00
	coq_8.18.0+dfsg-1_i386.deb	74 MiB	12/21/2023 06:21:47 PM +00:00
	coq_8.18.0+dfsg.orig.tar.xz	4.6 MiB	12/21/2023 01:58:44 PM +00:00
	coqide_8.18.0+dfsg-1_amd64.deb	1.9 MiB	12/21/2023 05:16:05 PM +00:00
	coqide_8.18.0+dfsg-1_arm64.deb	2.2 MiB	12/21/2023 03:19:39 PM +00:00
	coqide_8.18.0+dfsg-1_armhf.deb	1.8 MiB	12/21/2023 03:24:43 PM +00:00
	coqide_8.18.0+dfsg-1_i386.deb	1.7 MiB	12/21/2023 06:21:48 PM +00:00
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_amd64.deb	42 MiB	12/21/2023 05:16:05 PM +00:00
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_arm64.deb	42 MiB	12/21/2023 03:19:39 PM +00:00
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_armhf.deb	43 MiB	12/21/2023 03:24:43 PM +00:00
	libcoq-core-ocaml-dev_8.18.0+dfsg-1_i386.deb	42 MiB	12/21/2023 06:21:48 PM +00:00
	libcoq-core-ocaml_8.18.0+dfsg-1_amd64.deb	22 MiB	12/21/2023 05:16:05 PM +00:00
	libcoq-core-ocaml_8.18.0+dfsg-1_arm64.deb	23 MiB	12/21/2023 03:19:39 PM +00:00
	libcoq-core-ocaml_8.18.0+dfsg-1_armhf.deb	22 MiB	12/21/2023 03:24:43 PM +00:00
	libcoq-core-ocaml_8.18.0+dfsg-1_i386.deb	21 MiB	12/21/2023 06:21:48 PM +00:00
	libcoq-stdlib_8.18.0+dfsg-1_amd64.deb	22 MiB	12/21/2023 05:16:05 PM +00:00
	libcoq-stdlib_8.18.0+dfsg-1_arm64.deb	22 MiB	12/21/2023 03:19:40 PM +00:00
	libcoq-stdlib_8.18.0+dfsg-1_armhf.deb	22 MiB	12/21/2023 03:24:43 PM +00:00
	libcoq-stdlib_8.18.0+dfsg-1_i386.deb	22 MiB	12/21/2023 06:21:48 PM +00:00