Index of /debian/pool/non-free/c/coq-doc

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-doc-html_8.1-3_all.deb	23-Apr-2007 00:00	427K
	coq-doc-html_8.2pl1-1_all.deb	08-Jan-2010 08:47	522K
	coq-doc-html_8.3pl2-1_all.deb	06-May-2011 22:48	543K
	coq-doc-html_8.3pl4-1_all.deb	06-Apr-2012 17:17	543K
	coq-doc-html_8.4pl4-1_all.deb	18-Aug-2014 00:30	463K
	coq-doc-html_8.4pl4-2_all.deb	12-Feb-2016 08:59	463K
	coq-doc-html_8.16.1-1_all.deb	10-Dec-2022 14:28	1.5M
	coq-doc-html_8.20.0-2_all.deb	24-Jan-2025 13:58	1.6M
	coq-doc-pdf_8.1-3_all.deb	23-Apr-2007 00:00	1.6M
	coq-doc-pdf_8.2pl1-1_all.deb	08-Jan-2010 08:47	2.3M
	coq-doc-pdf_8.3pl2-1_all.deb	06-May-2011 22:48	2.3M
	coq-doc-pdf_8.3pl4-1_all.deb	06-Apr-2012 17:17	2.3M
	coq-doc-pdf_8.4pl4-1_all.deb	18-Aug-2014 00:30	2.4M
	coq-doc-pdf_8.4pl4-2_all.deb	12-Feb-2016 08:59	2.4M
	coq-doc-pdf_8.16.1-1_all.deb	10-Dec-2022 14:28	4.1M
	coq-doc-pdf_8.20.0-2_all.deb	24-Jan-2025 13:58	4.8M
	coq-doc_8.1-3_all.deb	23-Apr-2007 00:00	5.4K
	coq-doc_8.2pl1-1_all.deb	08-Jan-2010 08:47	36K
	coq-doc_8.3pl2-1_all.deb	06-May-2011 22:48	43K
	coq-doc_8.3pl4-1_all.deb	06-Apr-2012 17:17	44K
	coq-doc_8.4pl4-1_all.deb	18-Aug-2014 00:30	49K
	coq-doc_8.4pl4-2_all.deb	12-Feb-2016 08:59	49K
	coq-doc_8.16.1-1_all.deb	10-Dec-2022 14:28	4.8K
	coq-doc_8.20.0-2_all.deb	24-Jan-2025 13:58	5.2K