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

0 directories 41 files
Name Size Modified
Go up — —
coq-doc-html_8.15.0-3_all.deb 1.3 MiB
coq-doc-html_8.18.0-1_all.deb 1.5 MiB
coq-doc-html_8.20.0-2_all.deb 1.5 MiB
coq-doc-html_8.20.0-2build1_all.deb 1.5 MiB
coq-doc-html_8.4pl2-1_all.deb 404 KiB
coq-doc-html_8.4pl4-2_all.deb 406 KiB
coq-doc-html_8.6-1_all.deb 452 KiB
coq-doc-pdf_8.15.0-3_all.deb 3.9 MiB
coq-doc-pdf_8.18.0-1_all.deb 4.5 MiB
coq-doc-pdf_8.20.0-2_all.deb 4.8 MiB
coq-doc-pdf_8.20.0-2build1_all.deb 4.8 MiB
coq-doc-pdf_8.4pl2-1_all.deb 2.3 MiB
coq-doc-pdf_8.4pl4-2_all.deb 2.3 MiB
coq-doc-pdf_8.6-1_all.deb 2.4 MiB
coq-doc_8.15.0-3.debian.tar.xz 7.4 KiB
coq-doc_8.15.0-3.dsc 2.5 KiB
coq-doc_8.15.0-3_all.deb 3.9 KiB
coq-doc_8.15.0.orig.tar.gz 6.9 MiB
coq-doc_8.18.0-1.debian.tar.xz 7.9 KiB
coq-doc_8.18.0-1.dsc 2.5 KiB
coq-doc_8.18.0-1_all.deb 3.9 KiB
coq-doc_8.18.0.orig.tar.gz 7.3 MiB
coq-doc_8.20.0-2.debian.tar.xz 8.6 KiB
coq-doc_8.20.0-2.dsc 2.5 KiB
coq-doc_8.20.0-2_all.deb 3.9 KiB
coq-doc_8.20.0-2build1.debian.tar.xz 8.7 KiB
coq-doc_8.20.0-2build1.dsc 2.5 KiB
coq-doc_8.20.0-2build1_all.deb 3.9 KiB
coq-doc_8.20.0.orig.tar.gz 7.5 MiB
coq-doc_8.4pl2-1.debian.tar.gz 8.5 KiB
coq-doc_8.4pl2-1.dsc 2.2 KiB
coq-doc_8.4pl2-1_all.deb 4.4 KiB
coq-doc_8.4pl2.orig.tar.gz 4.0 MiB
coq-doc_8.4pl4-2.debian.tar.xz 8.2 KiB
coq-doc_8.4pl4-2.dsc 2.2 KiB
coq-doc_8.4pl4-2_all.deb 4.3 KiB
coq-doc_8.4pl4.orig.tar.gz 3.9 MiB
coq-doc_8.6-1.debian.tar.xz 8.1 KiB
coq-doc_8.6-1.dsc 2.3 KiB
coq-doc_8.6-1_all.deb 4.3 KiB
coq-doc_8.6.orig.tar.gz 5.3 MiB