Index of /Raspbian/raspbian/pool/main/c/coq-float

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] libfloat-coq_8.10.0-1_all.deb                      2020-03-16 19:05  1.2M  
[   ] coq-float_8.10.0.orig.tar.gz                       2020-03-16 18:40   97K  
[TXT] coq-float_8.10.0-1.dsc                             2020-03-16 18:40  1.9K  
[   ] coq-float_8.10.0-1.debian.tar.xz                   2020-03-16 18:40  3.3K  
[   ] libfloat-coq_8.4-5_all.deb                         2015-10-15 04:42   11M  
[TXT] coq-float_8.4-5.dsc                                2015-10-15 04:42  1.9K  
[   ] coq-float_8.4-5.debian.tar.xz                      2015-10-15 04:42  3.3K  
[   ] coq-float_8.4.orig.tar.gz                          2013-05-09 06:56  344K
Apache/2.4.59 (Debian) Server at mirror.freedif.org Port 443