Index of /debian-ubuntu/pool/universe/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb	2025-06-19 20:39	26M
	libcoq-stdlib_8.20.1+dfsg-1_amd64.deb	2025-02-17 22:40	26M
	libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 16:32	25M
	libcoq-stdlib_8.15.0+dfsg-2_amd64.deb	2022-02-05 20:51	24M
	libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb	2025-06-19 20:39	26M
	libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb	2025-02-17 22:40	26M
	libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 16:32	26M
	libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb	2022-02-05 20:51	26M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb	2025-06-19 20:39	66M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb	2025-02-17 22:40	66M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 16:32	49M
	libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb	2022-02-05 20:51	43M
	coqide_8.20.1+dfsg-1build1_amd64.deb	2025-06-19 20:39	2.1M
	coqide_8.20.1+dfsg-1_amd64.deb	2025-02-17 22:40	2.1M
	coqide_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 16:32	2.2M
	coqide_8.15.0+dfsg-2_amd64.deb	2022-02-05 20:51	2.3M
	coq_8.20.1+dfsg.orig.tar.xz	2025-02-17 22:39	4.8M
	coq_8.20.1+dfsg-1build1_amd64.deb	2025-06-19 20:39	78M
	coq_8.20.1+dfsg-1build1.dsc	2025-06-19 08:23	2.5K
	coq_8.20.1+dfsg-1build1.debian.tar.xz	2025-06-19 08:23	30K
	coq_8.20.1+dfsg-1_amd64.deb	2025-02-17 22:40	78M
	coq_8.20.1+dfsg-1.dsc	2025-02-17 22:39	2.5K
	coq_8.20.1+dfsg-1.debian.tar.xz	2025-02-17 22:39	30K
	coq_8.18.0+dfsg.orig.tar.xz	2023-12-22 16:46	4.6M
	coq_8.18.0+dfsg-1build2_amd64.deb	2024-03-31 16:32	91M
	coq_8.18.0+dfsg-1build2.dsc	2024-03-31 15:36	2.6K
	coq_8.18.0+dfsg-1build2.debian.tar.xz	2024-03-31 15:36	33K
	coq_8.15.0+dfsg.orig.tar.xz	2022-01-17 20:14	4.5M
	coq_8.15.0+dfsg-2_amd64.deb	2022-02-05 20:52	91M
	coq_8.15.0+dfsg-2.dsc	2022-02-05 14:49	2.5K
	coq_8.15.0+dfsg-2.debian.tar.xz	2022-02-05 14:49	39K