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

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 coq-doc-html_8.16.1-1_all.deb               10-Dec-2022 04:28  1.5M  
 coq-doc-pdf_8.16.1-1_all.deb                10-Dec-2022 04:28  4.1M  
 coq-doc_8.16.1-1.debian.tar.xz              09-Dec-2022 22:08  7.6K  
 coq-doc_8.16.1-1.dsc                        09-Dec-2022 22:08  2.6K  
 coq-doc_8.16.1-1_all.deb                    10-Dec-2022 04:28  4.8K  
 coq-doc_8.16.1.orig.tar.gz                  09-Dec-2022 22:08  7.1M  

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