Welcome to ftp.nluug.nl Current directory: /ftp/pub/os/Linux/distr/parrot/pool/non-free/c/coq-doc/?C=M&O=D

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

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