Folder Path

/debian/pool/main/c/coq/

0 directories 13 files 345 MiB total

	Name	Size	Modified
	Up
	coq_8.16.1+dfsg-1+b2_amd64.deb	89 MiB	02/13/2023 01:14:24 AM +00:00
	coq_8.16.1+dfsg-1+b2_i386.deb	84 MiB	02/13/2023 01:29:50 AM +00:00
	coq_8.16.1+dfsg-1.debian.tar.xz	32 KiB	11/29/2022 08:35:18 AM +00:00
	coq_8.16.1+dfsg-1.dsc	2.6 KiB	11/29/2022 08:35:18 AM +00:00
	coq_8.16.1+dfsg.orig.tar.xz	4.5 MiB	11/29/2022 08:35:18 AM +00:00
	coqide_8.16.1+dfsg-1+b2_amd64.deb	1.9 MiB	02/13/2023 01:14:24 AM +00:00
	coqide_8.16.1+dfsg-1+b2_i386.deb	1.7 MiB	02/13/2023 01:29:50 AM +00:00
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb	41 MiB	02/13/2023 01:14:24 AM +00:00
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb	40 MiB	02/13/2023 01:29:50 AM +00:00
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb	22 MiB	02/13/2023 01:14:24 AM +00:00
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb	21 MiB	02/13/2023 01:29:50 AM +00:00
	libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb	20 MiB	02/13/2023 01:14:24 AM +00:00
	libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb	20 MiB	02/13/2023 01:29:50 AM +00:00