Welcome to ftp.nluug.nl Current directory: /pub/os/Linux/distr/kali/pool/non-free/c/coq-doc/

Current bandwidth utilization 1980.11 Mbit/s

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 coq-doc-html_8.19.1-1_all.deb             26-Apr-2024 17:11  1.6M  
 coq-doc-pdf_8.19.1-1_all.deb              26-Apr-2024 17:11  4.6M  
 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!