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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-doc-html_8.4pl2-..> 13-Dec-2013 23:53  404K  
 coq-doc-html_8.4pl4-..> 12-Feb-2016 06:45  406K  
 coq-doc-html_8.6-1_a..> 14-Jul-2017 12:16  452K  
 coq-doc-html_8.15.0-..> 17-Mar-2022 09:15  1.3M  
 coq-doc-html_8.16.1-..> 10-Dec-2022 05:34  1.4M  
 coq-doc-html_8.17.1-..> 12-Aug-2023 17:24  1.5M  
 coq-doc-html_8.18.0-..> 02-Apr-2024 22:05  1.5M  
 coq-doc-html_8.19.1-..> 18-Jun-2024 23:39  1.5M  
 coq-doc-pdf_8.4pl2-1..> 13-Dec-2013 23:53  2.3M  
 coq-doc-pdf_8.4pl4-2..> 12-Feb-2016 06:45  2.3M  
 coq-doc-pdf_8.6-1_al..> 14-Jul-2017 12:17  2.4M  
 coq-doc-pdf_8.15.0-3..> 17-Mar-2022 09:15  3.9M  
 coq-doc-pdf_8.16.1-1..> 10-Dec-2022 05:34  4.1M  
 coq-doc-pdf_8.17.1-1..> 12-Aug-2023 17:24  4.3M  
 coq-doc-pdf_8.18.0-1..> 02-Apr-2024 22:05  4.5M  
 coq-doc-pdf_8.19.1-2..> 18-Jun-2024 23:39  4.6M  
 coq-doc_8.4pl2-1.deb..> 13-Dec-2013 23:13  8.5K  
 coq-doc_8.4pl2-1.dsc    13-Dec-2013 23:13  2.2K  
 coq-doc_8.4pl2-1_all..> 13-Dec-2013 23:53  4.4K  
 coq-doc_8.4pl2.orig...> 13-Dec-2013 23:13  4.0M  
 coq-doc_8.4pl4-2.deb..> 12-Feb-2016 05:13  8.2K  
 coq-doc_8.4pl4-2.dsc    12-Feb-2016 05:13  2.2K  
 coq-doc_8.4pl4-2_all..> 12-Feb-2016 06:45  4.3K  
 coq-doc_8.4pl4.orig...> 24-Oct-2014 08:05  3.9M  
 coq-doc_8.6-1.debian..> 14-Jul-2017 12:15  8.1K  
 coq-doc_8.6-1.dsc       14-Jul-2017 12:15  2.3K  
 coq-doc_8.6-1_all.deb   14-Jul-2017 12:17  4.3K  
 coq-doc_8.6.orig.tar.gz 14-Jul-2017 12:15  5.3M  
 coq-doc_8.15.0-3.deb..> 22-Feb-2022 23:24  7.4K  
 coq-doc_8.15.0-3.dsc    22-Feb-2022 23:24  2.5K  
 coq-doc_8.15.0-3_all..> 17-Mar-2022 09:15  3.9K  
 coq-doc_8.15.0.orig...> 09-Feb-2022 05:35  6.9M  
 coq-doc_8.16.1-1.deb..> 10-Dec-2022 05:34  7.6K  
 coq-doc_8.16.1-1.dsc    10-Dec-2022 05:34  2.6K  
 coq-doc_8.16.1-1_all..> 10-Dec-2022 05:34  3.9K  
 coq-doc_8.16.1.orig...> 10-Dec-2022 05:34  7.1M  
 coq-doc_8.17.1-1.deb..> 12-Aug-2023 17:24  7.8K  
 coq-doc_8.17.1-1.dsc    12-Aug-2023 17:24  2.3K  
 coq-doc_8.17.1-1_all..> 12-Aug-2023 17:24  3.9K  
 coq-doc_8.17.1.orig...> 12-Aug-2023 17:24  7.2M  
 coq-doc_8.18.0-1.deb..> 25-Jan-2024 23:15  7.9K  
 coq-doc_8.18.0-1.dsc    25-Jan-2024 23:15  2.5K  
 coq-doc_8.18.0-1_all..> 02-Apr-2024 22:05  3.9K  
 coq-doc_8.18.0.orig...> 25-Jan-2024 23:15  7.3M  
 coq-doc_8.19.1-2.deb..> 18-Jun-2024 23:39  7.9K  
 coq-doc_8.19.1-2.dsc    18-Jun-2024 23:39  2.3K  
 coq-doc_8.19.1-2_all..> 18-Jun-2024 23:39  3.9K  
 coq-doc_8.19.1.orig...> 02-May-2024 11:53  7.3M