| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| coq-float_8.4-5.debian.tar.xz | 3368 | 14-Oct-2015 20:42 |
| coq-float_8.4-5.dsc | 1986 | 14-Oct-2015 20:42 |
| coq-float_8.4.orig.tar.gz | 344K | 08-May-2013 22:56 |
| libfloat-coq_8.4-3_all.deb | 11M | 16-Sep-2017 11:20 |
| libfloat-coq_8.4-5_all.deb | 11M | 17-Aug-2017 00:51 |