淡江大學FTP伺服器

/檔案列表/Linux/Debian/debian/pool/non-free/c/coq-doc/

File

Size

Last Modified

.. - May 03 2023 04:14:43 PM

coq-doc-html_8.16.1-1_all.deb 1546KB Dec 10 2022 11:28:53 AM

coq-doc-html_8.20.0-2_all.deb 1672KB Jan 24 2025 10:58:15 AM

coq-doc-pdf_8.16.1-1_all.deb 4232KB Dec 10 2022 11:28:53 AM

coq-doc-pdf_8.20.0-2_all.deb 4945KB Jan 24 2025 10:58:15 AM

coq-doc_8.16.1-1.debian.tar.xz 8KB Dec 10 2022 05:08:23 AM

coq-doc_8.16.1-1.dsc 3KB Dec 10 2022 05:08:23 AM

coq-doc_8.16.1-1_all.deb 5KB Dec 10 2022 11:28:53 AM

coq-doc_8.16.1.orig.tar.gz 7228KB Dec 10 2022 05:08:23 AM

coq-doc_8.20.0-2.debian.tar.xz 9KB Jan 24 2025 05:17:21 AM

coq-doc_8.20.0-2.dsc 3KB Jan 24 2025 05:17:21 AM

coq-doc_8.20.0-2_all.deb 5KB Jan 24 2025 10:58:15 AM

coq-doc_8.20.0.orig.tar.gz 7656KB Dec 27 2024 05:06:07 AM