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

Filename	Modified	Size	Type
[Parent Directory]	-	-	-
coq-doc-html_8.15.0-3_all.deb	17/03/22 09:1517/03/22	1.3 MiB	[Save][Download]
coq-doc_8.6-1_all.deb	14/07/17 12:1714/07/17	4.3 KiB	[Save][Download]
coq-doc-pdf_8.18.0-1_all.deb	02/04/24 22:0502/04/24	4.5 MiB	[Save][Download]
coq-doc_8.20.0-2_all.deb	24/01/25 10:5024/01/25	3.9 KiB	[Save][Download]
coq-doc-html_8.4pl2-1_all.deb	13/12/13 23:5313/12/13	404 KiB	[Save][Download]
coq-doc-html_8.4pl4-2_all.deb	12/02/16 06:4512/02/16	406 KiB	[Save][Download]
coq-doc-html_8.6-1_all.deb	14/07/17 12:1614/07/17	452 KiB	[Save][Download]
coq-doc-pdf_8.15.0-3_all.deb	17/03/22 09:1517/03/22	3.9 MiB	[Save][Download]
coq-doc-html_8.18.0-1_all.deb	02/04/24 22:0502/04/24	1.5 MiB	[Save][Download]
coq-doc-html_8.20.0-2_all.deb	24/01/25 10:5024/01/25	1.5 MiB	[Save][Download]
coq-doc_8.4pl4.orig.tar.gz	24/10/14 08:0524/10/14	3.9 MiB	[Save][Download]
coq-doc-pdf_8.4pl2-1_all.deb	13/12/13 23:5313/12/13	2.3 MiB	[Save][Download]
coq-doc-pdf_8.4pl4-2_all.deb	12/02/16 06:4512/02/16	2.3 MiB	[Save][Download]
coq-doc-pdf_8.6-1_all.deb	14/07/17 12:1714/07/17	2.4 MiB	[Save][Download]
coq-doc_8.4pl4-2.debian.tar.xz	12/02/16 05:1312/02/16	8.2 KiB	[Save][Download]
coq-doc_8.15.0-3_all.deb	17/03/22 09:1517/03/22	3.9 KiB	[Save][Download]
coq-doc_8.19.1-2_all.deb	18/06/24 23:3918/06/24	3.9 KiB	[Save][Download]
coq-doc_8.20.0-2.dsc	24/01/25 05:5624/01/25	2.5 KiB	[Save][Download]
coq-doc_8.4pl2-1.dsc	13/12/13 23:1313/12/13	2.2 KiB	[Save][Download]
coq-doc_8.6-1.debian.tar.xz	14/07/17 12:1514/07/17	8.1 KiB	[Save][Download]
coq-doc_8.18.0-1_all.deb	02/04/24 22:0502/04/24	3.9 KiB	[Save][Download]
coq-doc_8.15.0-3.debian.tar.xz	22/02/22 23:2422/02/22	7.4 KiB	[Save][Download]
coq-doc_8.15.0-3.dsc	22/02/22 23:2422/02/22	2.5 KiB	[Save][Download]
coq-doc_8.19.1-2.debian.tar.xz	18/06/24 23:3918/06/24	7.9 KiB	[Save][Download]
coq-doc_8.20.0.orig.tar.gz	27/12/24 06:0527/12/24	7.5 MiB	[Save][Download]
coq-doc_8.4pl4-2.dsc	12/02/16 05:1312/02/16	2.2 KiB	[Save][Download]
coq-doc-pdf_8.20.0-2_all.deb	24/01/25 10:5024/01/25	4.8 MiB	[Save][Download]
coq-doc_8.15.0.orig.tar.gz	09/02/22 05:3509/02/22	6.9 MiB	[Save][Download]
coq-doc_8.18.0-1.dsc	25/01/24 23:1525/01/24	2.5 KiB	[Save][Download]
coq-doc_8.4pl2-1.debian.tar.gz	13/12/13 23:1313/12/13	8.5 KiB	[Save][Download]
coq-doc_8.6-1.dsc	14/07/17 12:1514/07/17	2.3 KiB	[Save][Download]
coq-doc_8.4pl2-1_all.deb	13/12/13 23:5313/12/13	4.4 KiB	[Save][Download]
coq-doc_8.19.1-2.dsc	18/06/24 23:3918/06/24	2.3 KiB	[Save][Download]
coq-doc_8.20.0-2.debian.tar.xz	24/01/25 05:5624/01/25	8.6 KiB	[Save][Download]
coq-doc_8.4pl2.orig.tar.gz	13/12/13 23:1313/12/13	4 MiB	[Save][Download]
coq-doc_8.4pl4-2_all.deb	12/02/16 06:4512/02/16	4.3 KiB	[Save][Download]
coq-doc_8.18.0-1.debian.tar.xz	25/01/24 23:1525/01/24	7.9 KiB	[Save][Download]
coq-doc_8.18.0.orig.tar.gz	25/01/24 23:1525/01/24	7.3 MiB	[Save][Download]
coq-doc_8.19.1.orig.tar.gz	02/05/24 11:5302/05/24	7.3 MiB	[Save][Download]
coq-doc_8.6.orig.tar.gz	14/07/17 12:1514/07/17	5.3 MiB	[Save][Download]
coq-doc-html_8.19.1-2_all.deb	18/06/24 23:3918/06/24	1.5 MiB	[Save][Download]
coq-doc-pdf_8.19.1-2_all.deb	18/06/24 23:3918/06/24	4.6 MiB	[Save][Download]