Icon  Name                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                          -   
[   ] coq-doc-html_8.15.0-3_all.deb        2022-03-17 09:15  1.3M  
[   ] coq-doc-html_8.18.0-1_all.deb        2024-04-02 22:05  1.5M  
[   ] coq-doc-html_8.20.0-2_all.deb        2025-01-24 10:50  1.5M  
[   ] coq-doc-html_8.20.0-2build1_all.deb  2025-12-03 11:05  1.5M  
[   ] coq-doc-html_8.4pl2-1_all.deb        2013-12-13 23:53  404K  
[   ] coq-doc-html_8.4pl4-2_all.deb        2016-02-12 06:45  406K  
[   ] coq-doc-html_8.6-1_all.deb           2017-07-14 12:16  452K  
[   ] coq-doc-html_9.2.0-1_all.deb         2026-08-04 00:06  1.7M  
[   ] coq-doc-pdf_8.15.0-3_all.deb         2022-03-17 09:15  3.9M  
[   ] coq-doc-pdf_8.18.0-1_all.deb         2024-04-02 22:05  4.5M  
[   ] coq-doc-pdf_8.20.0-2_all.deb         2025-01-24 10:50  4.8M  
[   ] coq-doc-pdf_8.20.0-2build1_all.deb   2025-12-03 11:05  4.8M  
[   ] coq-doc-pdf_8.4pl2-1_all.deb         2013-12-13 23:53  2.3M  
[   ] coq-doc-pdf_8.4pl4-2_all.deb         2016-02-12 06:45  2.3M  
[   ] coq-doc-pdf_8.6-1_all.deb            2017-07-14 12:17  2.4M  
[   ] coq-doc-pdf_9.2.0-1_all.deb          2026-08-04 00:06  5.4M  
[   ] coq-doc_8.15.0-3.debian.tar.xz       2022-02-22 23:24  7.4K  
[TXT] coq-doc_8.15.0-3.dsc                 2022-02-22 23:24  2.5K  
[   ] coq-doc_8.15.0-3_all.deb             2022-03-17 09:15  3.9K  
[   ] coq-doc_8.15.0.orig.tar.gz           2022-02-09 05:35  6.9M  
[   ] coq-doc_8.18.0-1.debian.tar.xz       2024-01-25 23:15  7.9K  
[TXT] coq-doc_8.18.0-1.dsc                 2024-01-25 23:15  2.5K  
[   ] coq-doc_8.18.0-1_all.deb             2024-04-02 22:05  3.9K  
[   ] coq-doc_8.18.0.orig.tar.gz           2024-01-25 23:15  7.3M  
[   ] coq-doc_8.20.0-2.debian.tar.xz       2025-01-24 05:56  8.6K  
[TXT] coq-doc_8.20.0-2.dsc                 2025-01-24 05:56  2.5K  
[   ] coq-doc_8.20.0-2_all.deb             2025-01-24 10:50  3.9K  
[   ] coq-doc_8.20.0-2build1.debian.tar.xz 2025-12-03 11:04  8.7K  
[TXT] coq-doc_8.20.0-2build1.dsc           2025-12-03 11:04  2.5K  
[   ] coq-doc_8.20.0-2build1_all.deb       2025-12-03 11:05  3.9K  
[   ] coq-doc_8.20.0.orig.tar.gz           2024-12-27 06:05  7.5M  
[   ] coq-doc_8.4pl2-1.debian.tar.gz       2013-12-13 23:13  8.5K  
[TXT] coq-doc_8.4pl2-1.dsc                 2013-12-13 23:13  2.2K  
[   ] coq-doc_8.4pl2-1_all.deb             2013-12-13 23:53  4.4K  
[   ] coq-doc_8.4pl2.orig.tar.gz           2013-12-13 23:13  4.0M  
[   ] coq-doc_8.4pl4-2.debian.tar.xz       2016-02-12 05:13  8.2K  
[TXT] coq-doc_8.4pl4-2.dsc                 2016-02-12 05:13  2.2K  
[   ] coq-doc_8.4pl4-2_all.deb             2016-02-12 06:45  4.3K  
[   ] coq-doc_8.4pl4.orig.tar.gz           2014-10-24 08:05  3.9M  
[   ] coq-doc_8.6-1.debian.tar.xz          2017-07-14 12:15  8.1K  
[TXT] coq-doc_8.6-1.dsc                    2017-07-14 12:15  2.3K  
[   ] coq-doc_8.6-1_all.deb                2017-07-14 12:17  4.3K  
[   ] coq-doc_8.6.orig.tar.gz              2017-07-14 12:15  5.3M  
[   ] coq-doc_9.2.0-1.debian.tar.xz        2026-08-03 23:22  8.4K  
[TXT] coq-doc_9.2.0-1.dsc                  2026-08-03 23:22  2.5K  
[   ] coq-doc_9.2.0-1_all.deb              2026-08-04 00:06  3.9K  
[   ] coq-doc_9.2.0.orig.tar.gz            2026-08-03 23:22  6.3M