![[ICO]](/icons/blank.png) | Name | Last modified | Size |
|---|
![[DIR]](/icons/arrow_up.png) | Parent Directory | | - |
![[ ]](/icons/page.png) | coq-float_8.10.0-1.dsc | 16-Mar-2020 11:40 | 1.9K |
| coq-float_8.4-5.dsc | 14-Oct-2015 22:42 | 1.9K |
| coq-float_8.4-4.dsc | 30-Jul-2014 10:21 | 2.0K |
| coq-float_8.10.0-1.debian.tar.xz | 16-Mar-2020 11:40 | 3.3K |
| coq-float_8.4-4.debian.tar.xz | 30-Jul-2014 10:21 | 3.3K |
| coq-float_8.4-5.debian.tar.xz | 14-Oct-2015 22:42 | 3.3K |
![[ ]](/icons/page_white_compressed.png) | coq-float_8.10.0.orig.tar.gz | 16-Mar-2020 11:40 | 97K |
| coq-float_8.4.orig.tar.gz | 09-May-2013 00:56 | 344K |
![[ ]](/icons/debian.png) | libfloat-coq_8.10.0-1_all.deb | 16-Mar-2020 12:05 | 1.2M |
| libfloat-coq_8.4-5_all.deb | 14-Oct-2015 22:42 | 11M |
| libfloat-coq_8.4-4_all.deb | 30-Jul-2014 10:21 | 11M |