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

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-theories_8.4pl4dfsg-3build2_all.deb	2015-11-04 14:04	31M
	coq_8.4pl4dfsg-3build2_arm64.deb	2015-11-04 14:29	3.7M
	coq_8.4pl4dfsg-3build2_armhf.deb	2015-11-04 14:55	3.6M
	coq_8.18.0+dfsg-1build2.debian.tar.xz	2024-03-31 18:36	33K
	coq_8.18.0+dfsg-1build2.dsc	2024-03-31 18:36	2.6K
	coq_8.18.0+dfsg-1build2_arm64.deb	2024-04-01 01:55	102M
	coq_8.18.0+dfsg-1build2_armhf.deb	2024-04-01 01:55	89M
	coq_8.18.0+dfsg.orig.tar.xz	2023-12-22 19:46	4.6M
	coqide_8.4pl4dfsg-3build2_arm64.deb	2015-11-04 14:29	754K
	coqide_8.4pl4dfsg-3build2_armhf.deb	2015-11-04 14:55	763K
	coqide_8.18.0+dfsg-1build2_arm64.deb	2024-04-01 01:55	2.7M
	coqide_8.18.0+dfsg-1build2_armhf.deb	2024-04-01 01:55	2.1M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb	2024-04-01 01:55	49M
	libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb	2024-04-01 01:55	50M
	libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb	2024-04-01 01:55	28M
	libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb	2024-04-01 01:55	26M
	libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb	2015-11-04 14:29	3.7M
	libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb	2015-11-04 14:55	4.0M
	libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb	2015-11-04 14:29	1.3M
	libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb	2015-11-04 14:55	1.4M
	libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb	2024-04-01 01:55	25M
	libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb	2024-04-01 01:55	25M