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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
coq-doc-html_8.3pl2-1build1_all.deb2012-Mar-02 13:07:46488.4Kapplication/vnd.debian.binary-package
coq-doc-html_8.4pl2-1_all.deb2013-Dec-13 17:53:39403.7Kapplication/vnd.debian.binary-package
coq-doc-html_8.4pl4-2_all.deb2016-Feb-12 00:45:59405.9Kapplication/vnd.debian.binary-package
coq-doc-html_8.6-1_all.deb2017-Jul-14 07:16:59451.9Kapplication/vnd.debian.binary-package
coq-doc-pdf_8.3pl2-1build1_all.deb2012-Mar-02 13:07:462.2Mapplication/vnd.debian.binary-package
coq-doc-pdf_8.4pl2-1_all.deb2013-Dec-13 17:53:392.3Mapplication/vnd.debian.binary-package
coq-doc-pdf_8.4pl4-2_all.deb2016-Feb-12 00:45:592.3Mapplication/vnd.debian.binary-package
coq-doc-pdf_8.6-1_all.deb2017-Jul-14 07:17:002.4Mapplication/vnd.debian.binary-package
coq-doc_8.3pl2-1build1.debian.tar.gz2012-Mar-02 12:33:528.5Kapplication/gzip
coq-doc_8.3pl2-1build1.dsc2012-Mar-02 12:33:522.2Kapplication/octet-stream
coq-doc_8.3pl2-1build1_all.deb2012-Mar-02 13:07:464.4Kapplication/vnd.debian.binary-package
coq-doc_8.3pl2.orig.tar.gz2011-May-10 10:08:443.6Mapplication/gzip
coq-doc_8.4pl2-1.debian.tar.gz2013-Dec-13 17:13:258.5Kapplication/gzip
coq-doc_8.4pl2-1.dsc2013-Dec-13 17:13:252.1Kapplication/octet-stream
coq-doc_8.4pl2-1_all.deb2013-Dec-13 17:53:394.3Kapplication/vnd.debian.binary-package
coq-doc_8.4pl2.orig.tar.gz2013-Dec-13 17:13:253.9Mapplication/gzip
coq-doc_8.4pl4-2.debian.tar.xz2016-Feb-11 23:13:568.2Kapplication/x-xz
coq-doc_8.4pl4-2.dsc2016-Feb-11 23:13:562.1Kapplication/octet-stream
coq-doc_8.4pl4-2_all.deb2016-Feb-12 00:45:594.3Kapplication/vnd.debian.binary-package
coq-doc_8.4pl4.orig.tar.gz2014-Oct-24 03:05:133.9Mapplication/gzip
coq-doc_8.6-1.debian.tar.xz2017-Jul-14 07:15:558.1Kapplication/x-xz
coq-doc_8.6-1.dsc2017-Jul-14 07:15:552.2Kapplication/octet-stream
coq-doc_8.6-1_all.deb2017-Jul-14 07:17:004.2Kapplication/vnd.debian.binary-package
coq-doc_8.6.orig.tar.gz2017-Jul-14 07:15:555.2Mapplication/gzip
lighttpd/1.4.35