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

NameLast ModifiedSizeType
../ -  Directory
coq-doc-html_8.15.0-3_all.deb2022-Mar-17 10:15:261.2Mapplication/vnd.debian.binary-package
coq-doc-html_8.16.1-1_all.deb2022-Dec-10 06:34:251.4Mapplication/vnd.debian.binary-package
coq-doc-html_8.17.1-1_all.deb2023-Aug-12 19:24:051.4Mapplication/vnd.debian.binary-package
coq-doc-html_8.4pl2-1_all.deb2013-Dec-14 00:53:39403.7Kapplication/vnd.debian.binary-package
coq-doc-html_8.4pl4-2_all.deb2016-Feb-12 07:45:59405.9Kapplication/vnd.debian.binary-package
coq-doc-html_8.6-1_all.deb2017-Jul-14 14:16:59451.9Kapplication/vnd.debian.binary-package
coq-doc-pdf_8.15.0-3_all.deb2022-Mar-17 10:15:263.8Mapplication/vnd.debian.binary-package
coq-doc-pdf_8.16.1-1_all.deb2022-Dec-10 06:34:254.1Mapplication/vnd.debian.binary-package
coq-doc-pdf_8.17.1-1_all.deb2023-Aug-12 19:24:054.3Mapplication/vnd.debian.binary-package
coq-doc-pdf_8.4pl2-1_all.deb2013-Dec-14 00:53:392.3Mapplication/vnd.debian.binary-package
coq-doc-pdf_8.4pl4-2_all.deb2016-Feb-12 07:45:592.3Mapplication/vnd.debian.binary-package
coq-doc-pdf_8.6-1_all.deb2017-Jul-14 14:17:002.4Mapplication/vnd.debian.binary-package
coq-doc_8.15.0-3.debian.tar.xz2022-Feb-23 00:24:367.4Kapplication/x-xz
coq-doc_8.15.0-3.dsc2022-Feb-23 00:24:362.5Ktext/prs.lines.tag
coq-doc_8.15.0-3_all.deb2022-Mar-17 10:15:263.9Kapplication/vnd.debian.binary-package
coq-doc_8.15.0.orig.tar.gz2022-Feb-09 06:35:296.9Mapplication/x-gtar-compressed
coq-doc_8.16.1-1.debian.tar.xz2022-Dec-10 06:34:237.6Kapplication/x-xz
coq-doc_8.16.1-1.dsc2022-Dec-10 06:34:232.5Ktext/prs.lines.tag
coq-doc_8.16.1-1_all.deb2022-Dec-10 06:34:253.9Kapplication/vnd.debian.binary-package
coq-doc_8.16.1.orig.tar.gz2022-Dec-10 06:34:237.0Mapplication/x-gtar-compressed
coq-doc_8.17.1-1.debian.tar.xz2023-Aug-12 19:24:047.8Kapplication/x-xz
coq-doc_8.17.1-1.dsc2023-Aug-12 19:24:042.2Ktext/prs.lines.tag
coq-doc_8.17.1-1_all.deb2023-Aug-12 19:24:043.9Kapplication/vnd.debian.binary-package
coq-doc_8.17.1.orig.tar.gz2023-Aug-12 19:24:047.1Mapplication/x-gtar-compressed
coq-doc_8.18.0-1.debian.tar.xz2024-Jan-26 00:15:217.8Kapplication/x-xz
coq-doc_8.18.0-1.dsc2024-Jan-26 00:15:212.5Ktext/prs.lines.tag
coq-doc_8.18.0.orig.tar.gz2024-Jan-26 00:15:217.2Mapplication/x-gtar-compressed
coq-doc_8.4pl2-1.debian.tar.gz2013-Dec-14 00:13:258.5Kapplication/x-gtar-compressed
coq-doc_8.4pl2-1.dsc2013-Dec-14 00:13:252.1Ktext/prs.lines.tag
coq-doc_8.4pl2-1_all.deb2013-Dec-14 00:53:394.3Kapplication/vnd.debian.binary-package
coq-doc_8.4pl2.orig.tar.gz2013-Dec-14 00:13:253.9Mapplication/x-gtar-compressed
coq-doc_8.4pl4-2.debian.tar.xz2016-Feb-12 06:13:568.2Kapplication/x-xz
coq-doc_8.4pl4-2.dsc2016-Feb-12 06:13:562.1Ktext/prs.lines.tag
coq-doc_8.4pl4-2_all.deb2016-Feb-12 07:45:594.3Kapplication/vnd.debian.binary-package
coq-doc_8.4pl4.orig.tar.gz2014-Oct-24 10:05:133.9Mapplication/x-gtar-compressed
coq-doc_8.6-1.debian.tar.xz2017-Jul-14 14:15:558.1Kapplication/x-xz
coq-doc_8.6-1.dsc2017-Jul-14 14:15:552.2Ktext/prs.lines.tag
coq-doc_8.6-1_all.deb2017-Jul-14 14:17:004.2Kapplication/vnd.debian.binary-package
coq-doc_8.6.orig.tar.gz2017-Jul-14 14:15:555.2Mapplication/x-gtar-compressed
lighttpd/1.4.59