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

File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
coq-doc-html_8.15.0-3_all.deb	1.3 MiB	2022-Mar-17 09:15
coq-doc-html_8.18.0-1_all.deb	1.5 MiB	2024-Apr-02 22:05
coq-doc-html_8.19.1-2_all.deb	1.5 MiB	2024-Jun-18 23:39
coq-doc-html_8.4pl2-1_all.deb	403.7 KiB	2013-Dec-13 23:53
coq-doc-html_8.4pl4-2_all.deb	406.0 KiB	2016-Feb-12 06:45
coq-doc-html_8.6-1_all.deb	451.9 KiB	2017-Jul-14 12:16
coq-doc-pdf_8.15.0-3_all.deb	3.9 MiB	2022-Mar-17 09:15
coq-doc-pdf_8.18.0-1_all.deb	4.5 MiB	2024-Apr-02 22:05
coq-doc-pdf_8.19.1-2_all.deb	4.6 MiB	2024-Jun-18 23:39
coq-doc-pdf_8.4pl2-1_all.deb	2.3 MiB	2013-Dec-13 23:53
coq-doc-pdf_8.4pl4-2_all.deb	2.3 MiB	2016-Feb-12 06:45
coq-doc-pdf_8.6-1_all.deb	2.4 MiB	2017-Jul-14 12:17
coq-doc_8.15.0-3.debian.tar.xz	7.4 KiB	2022-Feb-22 23:24
coq-doc_8.15.0-3.dsc	2.5 KiB	2022-Feb-22 23:24
coq-doc_8.15.0-3_all.deb	3.9 KiB	2022-Mar-17 09:15
coq-doc_8.15.0.orig.tar.gz	6.9 MiB	2022-Feb-09 05:35
coq-doc_8.18.0-1.debian.tar.xz	7.9 KiB	2024-Jan-25 23:15
coq-doc_8.18.0-1.dsc	2.5 KiB	2024-Jan-25 23:15
coq-doc_8.18.0-1_all.deb	3.9 KiB	2024-Apr-02 22:05
coq-doc_8.18.0.orig.tar.gz	7.3 MiB	2024-Jan-25 23:15
coq-doc_8.19.1-2.debian.tar.xz	7.9 KiB	2024-Jun-18 23:39
coq-doc_8.19.1-2.dsc	2.3 KiB	2024-Jun-18 23:39
coq-doc_8.19.1-2_all.deb	3.9 KiB	2024-Jun-18 23:39
coq-doc_8.19.1.orig.tar.gz	7.3 MiB	2024-May-02 11:53
coq-doc_8.4pl2-1.debian.tar.gz	8.5 KiB	2013-Dec-13 23:13
coq-doc_8.4pl2-1.dsc	2.2 KiB	2013-Dec-13 23:13
coq-doc_8.4pl2-1_all.deb	4.4 KiB	2013-Dec-13 23:53
coq-doc_8.4pl2.orig.tar.gz	4.0 MiB	2013-Dec-13 23:13
coq-doc_8.4pl4-2.debian.tar.xz	8.2 KiB	2016-Feb-12 05:13
coq-doc_8.4pl4-2.dsc	2.2 KiB	2016-Feb-12 05:13
coq-doc_8.4pl4-2_all.deb	4.3 KiB	2016-Feb-12 06:45
coq-doc_8.4pl4.orig.tar.gz	3.9 MiB	2014-Oct-24 08:05
coq-doc_8.6-1.debian.tar.xz	8.1 KiB	2017-Jul-14 12:15
coq-doc_8.6-1.dsc	2.3 KiB	2017-Jul-14 12:15
coq-doc_8.6-1_all.deb	4.3 KiB	2017-Jul-14 12:17
coq-doc_8.6.orig.tar.gz	5.3 MiB	2017-Jul-14 12:15