Index of /debian/pool/main/c/coq

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-libs_8.1.pl3+dfsg-1_all.deb	05-Jan-2008 00:00	12M
	coq-theories_8.2.pl2+dfsg-1_all.deb	03-Jul-2010 02:19	18M
	coq-theories_8.3.pl2+dfsg-1_all.deb	20-Apr-2011 04:32	51M
	coq-theories_8.3.pl2+dfsg-2_all.deb	03-Nov-2011 09:32	51M
	coq-theories_8.3.pl4+dfsg-2_all.deb	06-Jun-2012 17:32	52M
	coq-theories_8.4pl4dfsg-1_all.deb	28-Jul-2014 02:26	31M
	coq-theories_8.6-4_amd64.deb	30-Dec-2016 11:56	30M
	coq-theories_8.6-4_i386.deb	30-Dec-2016 12:57	29M
	coq-theories_8.9.0-1_amd64.deb	07-Feb-2019 05:49	28M
	coq-theories_8.12.0-3+b3_amd64.deb	25-Nov-2020 18:28	35M
	coq_8.1.pl3+dfsg-1+b2_amd64.deb	24-May-2008 03:17	8.6M
	coq_8.1.pl3+dfsg-1+b2_i386.deb	26-May-2008 00:00	8.1M
	coq_8.2.pl2+dfsg-1_amd64.deb	03-Jul-2010 02:19	15M
	coq_8.2.pl2+dfsg-1_i386.deb	03-Jul-2010 04:03	13M
	coq_8.3.pl2+dfsg-1_i386.deb	20-Apr-2011 06:02	4.7M
	coq_8.3.pl2+dfsg-2_amd64.deb	03-Nov-2011 09:32	5.4M
	coq_8.3.pl2+dfsg-2_i386.deb	03-Nov-2011 10:33	4.8M
	coq_8.3.pl4+dfsg-2_amd64.deb	06-Jun-2012 17:32	5.4M
	coq_8.3.pl4+dfsg-2_i386.deb	06-Jun-2012 18:32	4.8M
	coq_8.4pl4dfsg-1_amd64.deb	28-Jul-2014 02:26	3.9M
	coq_8.4pl4dfsg-1_i386.deb	28-Jul-2014 03:57	3.6M
	coq_8.6-4_amd64.deb	30-Dec-2016 11:56	13M
	coq_8.6-4_i386.deb	30-Dec-2016 12:57	13M
	coq_8.9.0-1_amd64.deb	07-Feb-2019 05:49	56M
	coq_8.12.0-3+b3_amd64.deb	25-Nov-2020 18:28	86M
	coq_8.16.1+dfsg-1+b2_amd64.deb	13-Feb-2023 12:14	89M
	coq_8.20.1+dfsg-1+b1_amd64.deb	15-Jun-2025 12:07	67M
	coqide_8.1.pl3+dfsg-1+b2_amd64.deb	24-May-2008 03:17	5.0M
	coqide_8.1.pl3+dfsg-1+b2_i386.deb	26-May-2008 00:00	4.7M
	coqide_8.2.pl2+dfsg-1_amd64.deb	03-Jul-2010 02:19	6.2M
	coqide_8.2.pl2+dfsg-1_i386.deb	03-Jul-2010 04:03	5.7M
	coqide_8.3.pl2+dfsg-1_i386.deb	20-Apr-2011 06:02	4.9M
	coqide_8.3.pl2+dfsg-2_amd64.deb	03-Nov-2011 09:32	5.3M
	coqide_8.3.pl2+dfsg-2_i386.deb	03-Nov-2011 10:33	5.0M
	coqide_8.3.pl4+dfsg-2_amd64.deb	06-Jun-2012 17:32	5.4M
	coqide_8.3.pl4+dfsg-2_i386.deb	06-Jun-2012 18:32	5.0M
	coqide_8.4pl4dfsg-1_amd64.deb	28-Jul-2014 02:26	779K
	coqide_8.4pl4dfsg-1_i386.deb	28-Jul-2014 03:57	714K
	coqide_8.6-4_amd64.deb	30-Dec-2016 11:56	1.3M
	coqide_8.6-4_i386.deb	30-Dec-2016 12:57	1.3M
	coqide_8.12.0-3+b3_amd64.deb	25-Nov-2020 18:28	1.8M
	coqide_8.16.1+dfsg-1+b2_amd64.deb	13-Feb-2023 12:14	1.9M
	coqide_8.20.1+dfsg-1+b1_amd64.deb	15-Jun-2025 12:07	1.8M
	libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb	13-Feb-2023 12:14	41M
	libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb	15-Jun-2025 12:07	66M
	libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb	13-Feb-2023 12:14	22M
	libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb	15-Jun-2025 12:07	25M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_amd64.deb	03-Jul-2010 02:19	5.8M
	libcoq-ocaml-dev_8.2.pl2+dfsg-1_i386.deb	03-Jul-2010 04:03	5.7M
	libcoq-ocaml-dev_8.3.pl2+dfsg-1_i386.deb	20-Apr-2011 06:02	5.5M
	libcoq-ocaml-dev_8.3.pl2+dfsg-2_amd64.deb	03-Nov-2011 09:32	5.6M
	libcoq-ocaml-dev_8.3.pl2+dfsg-2_i386.deb	03-Nov-2011 10:33	5.5M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb	06-Jun-2012 17:32	5.6M
	libcoq-ocaml-dev_8.3.pl4+dfsg-2_i386.deb	06-Jun-2012 18:32	5.5M
	libcoq-ocaml-dev_8.4pl4dfsg-1_amd64.deb	28-Jul-2014 02:26	3.6M
	libcoq-ocaml-dev_8.4pl4dfsg-1_i386.deb	28-Jul-2014 03:57	3.6M
	libcoq-ocaml-dev_8.6-4_amd64.deb	30-Dec-2016 11:56	13M
	libcoq-ocaml-dev_8.6-4_i386.deb	30-Dec-2016 12:57	13M
	libcoq-ocaml-dev_8.9.0-1_amd64.deb	07-Feb-2019 05:49	13M
	libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb	25-Nov-2020 18:28	18M
	libcoq-ocaml_8.3.pl2+dfsg-1_i386.deb	20-Apr-2011 06:02	1.8M
	libcoq-ocaml_8.3.pl2+dfsg-2_amd64.deb	03-Nov-2011 09:32	2.0M
	libcoq-ocaml_8.3.pl2+dfsg-2_i386.deb	03-Nov-2011 10:33	1.8M
	libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb	06-Jun-2012 17:32	2.0M
	libcoq-ocaml_8.3.pl4+dfsg-2_i386.deb	06-Jun-2012 18:32	1.8M
	libcoq-ocaml_8.4pl4dfsg-1_amd64.deb	28-Jul-2014 02:26	1.6M
	libcoq-ocaml_8.4pl4dfsg-1_i386.deb	28-Jul-2014 03:57	1.4M
	libcoq-ocaml_8.6-4_amd64.deb	30-Dec-2016 11:56	3.3M
	libcoq-ocaml_8.6-4_i386.deb	30-Dec-2016 12:57	3.2M
	libcoq-ocaml_8.9.0-1_amd64.deb	07-Feb-2019 05:49	5.2M
	libcoq-ocaml_8.12.0-3+b3_amd64.deb	25-Nov-2020 18:28	7.4M
	libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb	13-Feb-2023 12:14	21M
	libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb	15-Jun-2025 12:07	22M