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

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