Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/os/Linux/distr/kali/pool/non-free/c/coq-doc/

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 coq-doc-html_8.18.0-1_all.deb             25-Jan-2024 21:58  1.6M  
 coq-doc-html_8.19.1-1_all.deb             26-Apr-2024 17:11  1.6M  
 coq-doc-pdf_8.18.0-1_all.deb              25-Jan-2024 21:58  4.5M  
 coq-doc-pdf_8.19.1-1_all.deb              26-Apr-2024 17:11  4.6M  
 coq-doc_8.18.0-1.debian.tar.xz            25-Jan-2024 14:11  7.9K  
 coq-doc_8.18.0-1.dsc                      25-Jan-2024 14:11  2.5K  
 coq-doc_8.18.0-1_all.deb                  25-Jan-2024 21:58  5.1K  
 coq-doc_8.18.0.orig.tar.gz                25-Jan-2024 14:11  7.3M  
 coq-doc_8.19.1-1.debian.tar.xz            26-Apr-2024 15:46  7.9K  
 coq-doc_8.19.1-1.dsc                      26-Apr-2024 15:46  2.5K  
 coq-doc_8.19.1-1_all.deb                  26-Apr-2024 17:11  5.1K  
 coq-doc_8.19.1.orig.tar.gz                26-Apr-2024 15:46  7.3M  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!