| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| libfloat-coq_8.1-1.0-3_all.deb | 9M | 11-Jan-2008 10:04 |
| libfloat-coq_8.1-1.0-4_all.deb | 9M | 03-Jun-2008 00:05 |
| libfloat-coq_8.2-1.2-3_all.deb | 10M | 15-Aug-2009 17:04 |
| libfloat-coq_8.2-1.2-5_all.deb | 10M | 29-Jul-2010 14:05 |
| libfloat-coq_8.2-1.2-7_all.deb | 13M | 19-May-2011 18:04 |
| libfloat-coq_8.3pl1-4_all.deb | 16M | 08-Jun-2012 19:06 |