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

Current bandwidth utilization 944.27 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!