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.15.2-3_all.deb2022-Jul-14 21:19:231.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.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.15.2-3_all.deb2022-Jul-14 21:19:233.9Mapplication/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.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.15.2-3.debian.tar.xz2022-Jul-14 20:24:168.0Kapplication/x-xz
coq-doc_8.15.2-3.dsc2022-Jul-14 20:24:162.5Kapplication/octet-stream
coq-doc_8.15.2-3_all.deb2022-Jul-14 21:19:233.9Kapplication/vnd.debian.binary-package
coq-doc_8.15.2.orig.tar.gz2022-Jun-16 08:19:096.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.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