| Parent Directory | | | Directory |
| coq-float_8.1-1.0-3.diff.gz | 2007-Nov-19 07:03:43 | 3.7K | application/x-gzip |
| coq-float_8.1-1.0-3.dsc | 2007-Nov-19 07:03:43 | 0.6K | application/octet-stream |
| coq-float_8.1-1.0.orig.tar.gz | 2007-Oct-28 14:08:24 | 313.5K | application/x-gzip |
| coq-float_8.2-1.2-4.diff.gz | 2010-Mar-10 08:04:45 | 2.7K | application/x-gzip |
| coq-float_8.2-1.2-4.dsc | 2010-Mar-10 08:04:45 | 1.9K | application/octet-stream |
| coq-float_8.2-1.2-5.debian.tar.gz | 2010-Jul-29 09:05:20 | 3K | application/x-gzip |
| coq-float_8.2-1.2-5.dsc | 2010-Jul-29 09:05:20 | 1.3K | application/octet-stream |
| coq-float_8.2-1.2-7.debian.tar.gz | 2011-Apr-30 11:05:57 | 3.4K | application/x-gzip |
| coq-float_8.2-1.2-7.dsc | 2011-Apr-30 11:05:57 | 1.9K | application/octet-stream |
| coq-float_8.2-1.2-9.debian.tar.gz | 2012-Jan-07 21:34:56 | 3.4K | application/x-gzip |
| coq-float_8.2-1.2-9.dsc | 2012-Jan-07 21:34:56 | 2K | application/octet-stream |
| coq-float_8.2-1.2.orig.tar.gz | 2009-Apr-28 19:05:19 | 315.4K | application/x-gzip |
| coq-float_8.3pl1-4.debian.tar.gz | 2012-Jun-08 10:36:07 | 3.2K | application/x-gzip |
| coq-float_8.3pl1-4.dsc | 2012-Jun-08 10:36:07 | 2K | application/octet-stream |
| coq-float_8.3pl1.orig.tar.gz | 2012-Apr-30 15:41:48 | 351.3K | application/x-gzip |
| libfloat-coq_8.1-1.0-3_all.deb | 2008-Jan-11 05:04:28 | 9.4M | application/octet-stream |
| libfloat-coq_8.2-1.2-4_all.deb | 2010-Mar-10 08:04:53 | 10.2M | application/octet-stream |
| libfloat-coq_8.2-1.2-5_all.deb | 2010-Jul-29 10:05:37 | 10.2M | application/octet-stream |
| libfloat-coq_8.2-1.2-7_all.deb | 2011-May-19 14:04:42 | 13.3M | application/octet-stream |
| libfloat-coq_8.2-1.2-9_all.deb | 2012-Jan-07 21:35:06 | 13.3M | application/octet-stream |
| libfloat-coq_8.3pl1-4_all.deb | 2012-Jun-08 15:06:53 | 15.9M | application/octet-stream |