| Parent directory/ | - | - |
| coq-doc-html_8.15.0-3_all.deb | 1.3 MiB | 2022년 03월 17일 18시 15분 |
| coq-doc-html_8.18.0-1_all.deb | 1.5 MiB | 2024년 04월 03일 07시 05분 |
| coq-doc-html_8.20.0-2_all.deb | 1.5 MiB | 2025년 01월 24일 19시 50분 |
| coq-doc-html_8.20.0-2build1_all.deb | 1.5 MiB | 2025년 12월 03일 20시 05분 |
| coq-doc-html_8.4pl2-1_all.deb | 403.7 KiB | 2013년 12월 14일 08시 53분 |
| coq-doc-html_8.4pl4-2_all.deb | 406.0 KiB | 2016년 02월 12일 15시 45분 |
| coq-doc-html_8.6-1_all.deb | 451.9 KiB | 2017년 07월 14일 21시 16분 |
| coq-doc-pdf_8.15.0-3_all.deb | 3.9 MiB | 2022년 03월 17일 18시 15분 |
| coq-doc-pdf_8.18.0-1_all.deb | 4.5 MiB | 2024년 04월 03일 07시 05분 |
| coq-doc-pdf_8.20.0-2_all.deb | 4.8 MiB | 2025년 01월 24일 19시 50분 |
| coq-doc-pdf_8.20.0-2build1_all.deb | 4.8 MiB | 2025년 12월 03일 20시 05분 |
| coq-doc-pdf_8.4pl2-1_all.deb | 2.3 MiB | 2013년 12월 14일 08시 53분 |
| coq-doc-pdf_8.4pl4-2_all.deb | 2.3 MiB | 2016년 02월 12일 15시 45분 |
| coq-doc-pdf_8.6-1_all.deb | 2.4 MiB | 2017년 07월 14일 21시 17분 |
| coq-doc_8.15.0-3.debian.tar.xz | 7.4 KiB | 2022년 02월 23일 08시 24분 |
| coq-doc_8.15.0-3.dsc | 2.5 KiB | 2022년 02월 23일 08시 24분 |
| coq-doc_8.15.0-3_all.deb | 3.9 KiB | 2022년 03월 17일 18시 15분 |
| coq-doc_8.15.0.orig.tar.gz | 6.9 MiB | 2022년 02월 09일 14시 35분 |
| coq-doc_8.18.0-1.debian.tar.xz | 7.9 KiB | 2024년 01월 26일 08시 15분 |
| coq-doc_8.18.0-1.dsc | 2.5 KiB | 2024년 01월 26일 08시 15분 |
| coq-doc_8.18.0-1_all.deb | 3.9 KiB | 2024년 04월 03일 07시 05분 |
| coq-doc_8.18.0.orig.tar.gz | 7.3 MiB | 2024년 01월 26일 08시 15분 |
| coq-doc_8.20.0-2.debian.tar.xz | 8.6 KiB | 2025년 01월 24일 14시 56분 |
| coq-doc_8.20.0-2.dsc | 2.5 KiB | 2025년 01월 24일 14시 56분 |
| coq-doc_8.20.0-2_all.deb | 3.9 KiB | 2025년 01월 24일 19시 50분 |
| coq-doc_8.20.0-2build1.debian.tar.xz | 8.7 KiB | 2025년 12월 03일 20시 04분 |
| coq-doc_8.20.0-2build1.dsc | 2.5 KiB | 2025년 12월 03일 20시 04분 |
| coq-doc_8.20.0-2build1_all.deb | 3.9 KiB | 2025년 12월 03일 20시 05분 |
| coq-doc_8.20.0.orig.tar.gz | 7.5 MiB | 2024년 12월 27일 15시 05분 |
| coq-doc_8.4pl2-1.debian.tar.gz | 8.5 KiB | 2013년 12월 14일 08시 13분 |
| coq-doc_8.4pl2-1.dsc | 2.2 KiB | 2013년 12월 14일 08시 13분 |
| coq-doc_8.4pl2-1_all.deb | 4.4 KiB | 2013년 12월 14일 08시 53분 |
| coq-doc_8.4pl2.orig.tar.gz | 4.0 MiB | 2013년 12월 14일 08시 13분 |
| coq-doc_8.4pl4-2.debian.tar.xz | 8.2 KiB | 2016년 02월 12일 14시 13분 |
| coq-doc_8.4pl4-2.dsc | 2.2 KiB | 2016년 02월 12일 14시 13분 |
| coq-doc_8.4pl4-2_all.deb | 4.3 KiB | 2016년 02월 12일 15시 45분 |
| coq-doc_8.4pl4.orig.tar.gz | 3.9 MiB | 2014년 10월 24일 17시 05분 |
| coq-doc_8.6-1.debian.tar.xz | 8.1 KiB | 2017년 07월 14일 21시 15분 |
| coq-doc_8.6-1.dsc | 2.3 KiB | 2017년 07월 14일 21시 15분 |
| coq-doc_8.6-1_all.deb | 4.3 KiB | 2017년 07월 14일 21시 17분 |
| coq-doc_8.6.orig.tar.gz | 5.3 MiB | 2017년 07월 14일 21시 15분 |