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

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-ocaml_8.11.0-1_amd64.deb	2020-03-06 15:38	6.0M
	libcoq-ocaml_8.6-5build1_i386.deb	2017-10-28 22:34	3.2M
	libcoq-ocaml_8.6-5build1_amd64.deb	2017-10-28 22:34	3.4M
	libcoq-ocaml-dev_8.11.0-1_amd64.deb	2020-03-06 15:38	15M
	libcoq-ocaml-dev_8.6-5build1_i386.deb	2017-10-28 22:34	13M
	libcoq-ocaml-dev_8.6-5build1_amd64.deb	2017-10-28 22:34	13M
	coqide_8.11.0-1_amd64.deb	2020-03-06 15:38	1.7M
	coqide_8.6-5build1_i386.deb	2017-10-28 22:34	1.3M
	coqide_8.6-5build1_amd64.deb	2017-10-28 22:34	1.5M
	coq_8.11.0.orig.tar.gz	2020-03-06 14:53	5.6M
	coq_8.11.0-1_amd64.deb	2020-03-06 15:38	73M
	coq_8.11.0-1.dsc	2020-03-06 14:53	2.4K
	coq_8.11.0-1.debian.tar.xz	2020-03-06 14:53	31K
	coq_8.6.orig.tar.gz	2016-12-29 00:13	4.8M
	coq_8.6-5build1_i386.deb	2017-10-28 22:34	16M
	coq_8.6-5build1_amd64.deb	2017-10-28 22:34	17M
	coq_8.6-5build1.dsc	2017-10-28 21:39	2.3K
	coq_8.6-5build1.debian.tar.xz	2017-10-28 21:39	21K
	coq-theories_8.11.0-1_amd64.deb	2020-03-06 15:38	32M
	coq-theories_8.6-5build1_i386.deb	2017-10-28 22:34	31M
	coq-theories_8.6-5build1_amd64.deb	2017-10-28 22:34	32M