ftp.ntua.gr:/mirror/ubuntu/pool/universe/c/coq-float/ 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] coq-float_8.10.0-1.debian.tar.xz                 19-Mar-2020 10:13  3.3K  
[   ] coq-float_8.10.0-1.dsc                           19-Mar-2020 10:13  1.9K  
[   ] coq-float_8.10.0.orig.tar.gz                     19-Mar-2020 10:13   97K  
[   ] coq-float_8.2-1.2-9.debian.tar.gz                08-Jan-2012 04:34  3.4K  
[   ] coq-float_8.2-1.2-9.dsc                          08-Jan-2012 04:34  2.0K  
[   ] coq-float_8.2-1.2.orig.tar.gz                    29-Apr-2009 02:05  315K  
[   ] coq-float_8.4-3.debian.tar.xz                    21-Jan-2014 07:18  3.3K  
[   ] coq-float_8.4-3.dsc                              21-Jan-2014 07:18  1.9K  
[   ] coq-float_8.4-5build1.debian.tar.xz              04-Nov-2015 17:29  3.3K  
[   ] coq-float_8.4-5build1.dsc                        04-Nov-2015 17:29  2.0K  
[   ] coq-float_8.4.orig.tar.gz                        09-May-2013 08:34  344K  
[   ] libfloat-coq_8.10.0-1_all.deb                    19-Mar-2020 10:23  1.2M  
[   ] libfloat-coq_8.2-1.2-9_all.deb                   08-Jan-2012 04:35   13M  
[   ] libfloat-coq_8.4-3_all.deb                       21-Jan-2014 07:53   11M  
[   ] libfloat-coq_8.4-5build1_all.deb                 04-Nov-2015 17:56   11M
Apache/2.2 Server at ftp.grnet.gr Port 80