Folder Path

/pool/nest/c/coq/

0 directories 13 files 352 MiB total

	Name	Size	Modified
	Up
	coq-dbgsym_8.19.1+dfsg-3_amd64.deb	12 MiB	09/09/2024 04:38:45 PM +00:00
	coq_8.19.1+dfsg-2_amd64.deb	79 MiB	09/09/2024 04:38:45 PM +00:00
	coq_8.19.1+dfsg-3_amd64.deb	79 MiB	09/09/2024 04:38:45 PM +00:00
	coqide-dbgsym_8.19.1+dfsg-3_amd64.deb	731 KiB	09/09/2024 04:38:45 PM +00:00
	coqide_8.19.1+dfsg-2_amd64.deb	1.9 MiB	09/09/2024 04:38:45 PM +00:00
	coqide_8.19.1+dfsg-3_amd64.deb	1.9 MiB	09/09/2024 04:38:45 PM +00:00
	libcoq-core-ocaml-dbgsym_8.19.1+dfsg-3_amd64.deb	2.4 MiB	09/09/2024 04:38:56 PM +00:00
	libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb	44 MiB	09/09/2024 04:38:56 PM +00:00
	libcoq-core-ocaml-dev_8.19.1+dfsg-3_amd64.deb	44 MiB	09/09/2024 04:38:56 PM +00:00
	libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb	22 MiB	09/09/2024 04:38:56 PM +00:00
	libcoq-core-ocaml_8.19.1+dfsg-3_amd64.deb	22 MiB	09/09/2024 04:38:56 PM +00:00
	libcoq-stdlib_8.19.1+dfsg-2_amd64.deb	23 MiB	09/09/2024 04:38:56 PM +00:00
	libcoq-stdlib_8.19.1+dfsg-3_amd64.deb	23 MiB	09/09/2024 04:38:56 PM +00:00