Index of /Raspbian/raspbian/pool/non-free/c/coq-doc

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 coq-doc_8.20.0-2_all.deb                           2025-01-24 10:58  5.2K  
 coq-doc-pdf_8.20.0-2_all.deb                       2025-01-24 10:58  4.8M  
 coq-doc-html_8.20.0-2_all.deb                      2025-01-24 10:58  1.6M  
 coq-doc_8.20.0-2.dsc                               2025-01-24 05:17  2.5K  
 coq-doc_8.20.0-2.debian.tar.xz                     2025-01-24 05:17  8.6K  
 coq-doc_8.20.0.orig.tar.gz                         2024-12-27 05:06  7.5M  
 coq-doc_8.16.1-1_all.deb                           2022-12-10 11:28  4.8K  
 coq-doc-pdf_8.16.1-1_all.deb                       2022-12-10 11:28  4.1M  
 coq-doc-html_8.16.1-1_all.deb                      2022-12-10 11:28  1.5M  
 coq-doc_8.16.1.orig.tar.gz                         2022-12-10 05:08  7.1M  
 coq-doc_8.16.1-1.dsc                               2022-12-10 05:08  2.6K  
 coq-doc_8.16.1-1.debian.tar.xz                     2022-12-10 05:08  7.6K  
 coq-doc_8.6.orig.tar.gz                            2017-07-13 18:50  5.3M  
 coq-doc_8.6-1_all.deb                              2017-07-13 18:50   62K  
 coq-doc_8.6-1.dsc                                  2017-07-13 18:50  2.3K  
 coq-doc_8.6-1.debian.tar.xz                        2017-07-13 18:50  8.1K  
 coq-doc-pdf_8.6-1_all.deb                          2017-07-13 18:50  2.5M  
 coq-doc-html_8.6-1_all.deb                         2017-07-13 18:50  536K