Index of /caixamagica/pool/multiverse/c/coq-doc

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-doc-html_8.2pl1-1_all.deb	2010-01-19 13:05	518K
	coq-doc-html_8.3pl2-1_all.deb	2011-08-19 10:18	488K
	coq-doc-html_8.3pl2-1build1_all.deb	2012-03-10 03:15	488K
	coq-doc-html_8.3pl4-1_all.deb	2012-09-27 00:38	493K
	coq-doc-html_8.4pl2-1_all.deb	2014-04-01 16:19	404K
	coq-doc-html_8.4pl4-1_all.deb	2015-04-26 18:25	407K
	coq-doc-pdf_8.2pl1-1_all.deb	2010-01-19 13:05	2.0M
	coq-doc-pdf_8.3pl2-1_all.deb	2011-08-19 10:18	2.3M
	coq-doc-pdf_8.3pl2-1build1_all.deb	2012-03-10 03:15	2.3M
	coq-doc-pdf_8.3pl4-1_all.deb	2012-09-27 00:38	2.3M
	coq-doc-pdf_8.4pl2-1_all.deb	2014-04-01 16:19	2.3M
	coq-doc-pdf_8.4pl4-1_all.deb	2015-04-26 18:25	2.3M
	coq-doc_8.2pl1-1.debian.tar.gz	2010-01-18 06:05	8.4K
	coq-doc_8.2pl1-1.dsc	2010-01-18 06:05	2.1K
	coq-doc_8.2pl1-1_all.deb	2010-01-19 13:05	37K
	coq-doc_8.2pl1.orig.tar.gz	2010-01-18 06:05	3.4M
	coq-doc_8.3pl2-1.debian.tar.gz	2011-08-19 10:17	8.6K
	coq-doc_8.3pl2-1.dsc	2011-08-19 10:17	2.0K
	coq-doc_8.3pl2-1_all.deb	2011-08-19 10:17	4.5K
	coq-doc_8.3pl2-1build1.debian.tar.gz	2012-03-09 09:41	8.6K
	coq-doc_8.3pl2-1build1.dsc	2012-03-09 09:41	2.2K
	coq-doc_8.3pl2-1build1_all.deb	2012-03-10 03:15	4.5K
	coq-doc_8.3pl2.orig.tar.gz	2011-08-19 10:17	3.6M
	coq-doc_8.3pl4-1.debian.tar.gz	2012-09-26 09:31	8.4K
	coq-doc_8.3pl4-1.dsc	2012-09-26 09:31	2.2K
	coq-doc_8.3pl4-1_all.deb	2012-09-27 00:38	4.5K
	coq-doc_8.3pl4.orig.tar.gz	2012-09-26 09:31	3.7M
	coq-doc_8.4pl2-1.debian.tar.gz	2015-01-04 16:06	8.5K
	coq-doc_8.4pl2-1.dsc	2015-01-04 16:06	2.2K
	coq-doc_8.4pl2-1_all.deb	2014-04-01 16:20	4.4K
	coq-doc_8.4pl2.orig.tar.gz	2015-01-04 16:06	4.0M
	coq-doc_8.4pl4-1.debian.tar.xz	2015-05-16 04:43	7.9K
	coq-doc_8.4pl4-1.dsc	2015-05-16 04:43	2.2K
	coq-doc_8.4pl4-1_all.deb	2015-04-26 18:25	4.4K
	coq-doc_8.4pl4.orig.tar.gz	2015-05-16 04:43	3.9M