Index of /kali/pool/non-free/c/coq-doc

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] 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  
[TXT] 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
Apache/2.4.63 (Debian) Server at mirror.freedif.org Port 443