Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/ubuntu/pool/multiverse/c/coq-doc/

Current bandwidth utilization 2011.41 Mbit/s

 Name                                      Last modified      Size  
 Parent Directory                                               -   
 coq-doc-html_8.4pl2-1_all.deb             14-Dec-2013 00:53  404K  
 coq-doc-html_8.4pl4-2_all.deb             12-Feb-2016 07:45  406K  
 coq-doc-html_8.6-1_all.deb                14-Jul-2017 14:16  452K  
 coq-doc-html_8.15.0-3_all.deb             17-Mar-2022 10:15  1.3M  
 coq-doc-html_8.16.1-1_all.deb             10-Dec-2022 06:34  1.4M  
 coq-doc-html_8.18.0-1_all.deb             03-Apr-2024 00:05  1.5M  
 coq-doc-html_8.19.1-2_all.deb             19-Jun-2024 01:39  1.5M  
 coq-doc-pdf_8.4pl2-1_all.deb              14-Dec-2013 00:53  2.3M  
 coq-doc-pdf_8.4pl4-2_all.deb              12-Feb-2016 07:45  2.3M  
 coq-doc-pdf_8.6-1_all.deb                 14-Jul-2017 14:17  2.4M  
 coq-doc-pdf_8.15.0-3_all.deb              17-Mar-2022 10:15  3.9M  
 coq-doc-pdf_8.16.1-1_all.deb              10-Dec-2022 06:34  4.1M  
 coq-doc-pdf_8.18.0-1_all.deb              03-Apr-2024 00:05  4.5M  
 coq-doc-pdf_8.19.1-2_all.deb              19-Jun-2024 01:39  4.6M  
 coq-doc_8.4pl2-1.debian.tar.gz            14-Dec-2013 00:13  8.5K  
 coq-doc_8.4pl2-1.dsc                      14-Dec-2013 00:13  2.2K  
 coq-doc_8.4pl2-1_all.deb                  14-Dec-2013 00:53  4.4K  
 coq-doc_8.4pl2.orig.tar.gz                14-Dec-2013 00:13  4.0M  
 coq-doc_8.4pl4-2.debian.tar.xz            12-Feb-2016 06:13  8.2K  
 coq-doc_8.4pl4-2.dsc                      12-Feb-2016 06:13  2.2K  
 coq-doc_8.4pl4-2_all.deb                  12-Feb-2016 07:45  4.3K  
 coq-doc_8.4pl4.orig.tar.gz                24-Oct-2014 10:05  3.9M  
 coq-doc_8.6-1.debian.tar.xz               14-Jul-2017 14:15  8.1K  
 coq-doc_8.6-1.dsc                         14-Jul-2017 14:15  2.3K  
 coq-doc_8.6-1_all.deb                     14-Jul-2017 14:17  4.3K  
 coq-doc_8.6.orig.tar.gz                   14-Jul-2017 14:15  5.3M  
 coq-doc_8.15.0-3.debian.tar.xz            23-Feb-2022 00:24  7.4K  
 coq-doc_8.15.0-3.dsc                      23-Feb-2022 00:24  2.5K  
 coq-doc_8.15.0-3_all.deb                  17-Mar-2022 10:15  3.9K  
 coq-doc_8.15.0.orig.tar.gz                09-Feb-2022 06:35  6.9M  
 coq-doc_8.16.1-1.debian.tar.xz            10-Dec-2022 06:34  7.6K  
 coq-doc_8.16.1-1.dsc                      10-Dec-2022 06:34  2.6K  
 coq-doc_8.16.1-1_all.deb                  10-Dec-2022 06:34  3.9K  
 coq-doc_8.16.1.orig.tar.gz                10-Dec-2022 06:34  7.1M  
 coq-doc_8.18.0-1.debian.tar.xz            26-Jan-2024 00:15  7.9K  
 coq-doc_8.18.0-1.dsc                      26-Jan-2024 00:15  2.5K  
 coq-doc_8.18.0-1_all.deb                  03-Apr-2024 00:05  3.9K  
 coq-doc_8.18.0.orig.tar.gz                26-Jan-2024 00:15  7.3M  
 coq-doc_8.19.1-2.debian.tar.xz            19-Jun-2024 01:39  7.9K  
 coq-doc_8.19.1-2.dsc                      19-Jun-2024 01:39  2.3K  
 coq-doc_8.19.1-2_all.deb                  19-Jun-2024 01:39  3.9K  
 coq-doc_8.19.1.orig.tar.gz                02-May-2024 13:53  7.3M  

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