Sales & Support: 13 66 33
| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| coq-float_8.1-1.0-3.diff.gz | 3768 | 19-Nov-2007 12:03 |
| coq-float_8.1-1.0-3.dsc | 595 | 19-Nov-2007 12:03 |
| coq-float_8.1-1.0.orig.tar.gz | 320981 | 28-Oct-2007 18:08 |
| coq-float_8.2-1.2-4.diff.gz | 2744 | 10-Mar-2010 13:04 |
| coq-float_8.2-1.2-4.dsc | 1948 | 10-Mar-2010 13:04 |
| coq-float_8.2-1.2.orig.tar.gz | 322949 | 28-Apr-2009 23:05 |
| libfloat-coq_8.1-1.0-3_all.deb | 9809590 | 11-Jan-2008 10:04 |
| libfloat-coq_8.2-1.2-4_all.deb | 10727764 | 10-Mar-2010 13:04 |
