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

0 directories 48 files
Name Size Modified
Go up — —
coq-doc-html_8.15.0-3_all.deb 1.3 MiB
coq-doc-html_8.16.1-1_all.deb 1.4 MiB
coq-doc-html_8.17.1-1_all.deb 1.5 MiB
coq-doc-html_8.18.0-1_all.deb 1.5 MiB
coq-doc-html_8.19.1-1_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.16.1-1_all.deb 4.1 MiB
coq-doc-pdf_8.17.1-1_all.deb 4.3 MiB
coq-doc-pdf_8.18.0-1_all.deb 4.5 MiB
coq-doc-pdf_8.19.1-1_all.deb 4.6 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.16.1-1.debian.tar.xz 7.6 KiB
coq-doc_8.16.1-1.dsc 2.6 KiB
coq-doc_8.16.1-1_all.deb 3.9 KiB
coq-doc_8.16.1.orig.tar.gz 7.1 MiB
coq-doc_8.17.1-1.debian.tar.xz 7.8 KiB
coq-doc_8.17.1-1.dsc 2.3 KiB
coq-doc_8.17.1-1_all.deb 3.9 KiB
coq-doc_8.17.1.orig.tar.gz 7.2 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.19.1-1.debian.tar.xz 7.9 KiB
coq-doc_8.19.1-1.dsc 2.5 KiB
coq-doc_8.19.1-1_all.deb 3.9 KiB
coq-doc_8.19.1.orig.tar.gz 7.3 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