Index of /raspbian/pool/main/c/coq

	Name	Last modified	Size
	Parent Directory		-
	coq-theories_8.4pl4dfsg-1_all.deb	27-Jul-2014 17:26	31M
	coq-theories_8.6-4_armhf.deb	17-Jan-2017 03:52	22M
	coq-theories_8.9.0-1_armhf.deb	25-Feb-2019 11:08	19M
	coq-theories_8.9.1-5+b1_armhf.deb	18-Feb-2020 00:30	19M
	coqide_8.4pl4dfsg-1_armhf.deb	13-Aug-2014 13:18	777K
	coqide_8.6-4_armhf.deb	17-Jan-2017 03:52	1.3M
	coqide_8.9.1-5+b1_armhf.deb	18-Feb-2020 00:30	1.6M
	coq_8.4pl4dfsg-1.debian.tar.xz	27-Jul-2014 17:26	15K
	coq_8.4pl4dfsg-1.dsc	27-Jul-2014 17:26	2.3K
	coq_8.4pl4dfsg-1_armhf.deb	13-Aug-2014 13:18	3.7M
	coq_8.4pl4dfsg.orig.tar.gz	27-Jul-2014 17:26	3.4M
	coq_8.6-4.debian.tar.xz	30-Dec-2016 01:56	21K
	coq_8.6-4.dsc	30-Dec-2016 01:56	2.3K
	coq_8.6-4_armhf.deb	17-Jan-2017 03:52	13M
	coq_8.6.orig.tar.gz	28-Dec-2016 14:44	4.8M
	coq_8.9.0-1.debian.tar.xz	06-Feb-2019 19:49	27K
	coq_8.9.0-1.dsc	06-Feb-2019 19:49	2.4K
	coq_8.9.0-1_armhf.deb	25-Feb-2019 11:08	53M
	coq_8.9.0.orig.tar.gz	06-Feb-2019 19:49	5.1M
	coq_8.9.1-5+b1_armhf.deb	18-Feb-2020 00:30	63M
	coq_8.9.1-5.debian.tar.xz	29-Jan-2020 08:38	31K
	coq_8.9.1-5.dsc	29-Jan-2020 08:38	2.4K
	coq_8.9.1.orig.tar.gz	20-Aug-2019 05:27	5.1M
	coq_8.11.0-1.debian.tar.xz	05-Mar-2020 22:39	31K
	coq_8.11.0-1.dsc	05-Mar-2020 22:39	2.4K
	coq_8.11.0.orig.tar.gz	05-Mar-2020 22:39	5.6M
	libcoq-ocaml-dev_8.4pl4dfsg-1_armhf.deb	13-Aug-2014 13:18	3.8M
	libcoq-ocaml-dev_8.6-4_armhf.deb	17-Jan-2017 03:52	13M
	libcoq-ocaml-dev_8.9.0-1_armhf.deb	25-Feb-2019 11:08	14M
	libcoq-ocaml-dev_8.9.1-5+b1_armhf.deb	18-Feb-2020 00:30	15M
	libcoq-ocaml_8.4pl4dfsg-1_armhf.deb	13-Aug-2014 13:18	1.5M
	libcoq-ocaml_8.6-4_armhf.deb	17-Jan-2017 03:52	3.4M
	libcoq-ocaml_8.9.0-1_armhf.deb	25-Feb-2019 11:08	5.1M
	libcoq-ocaml_8.9.1-5+b1_armhf.deb	18-Feb-2020 00:30	5.3M