| name | size | date |
|---|---|---|
| coq-float_8.4-4.debian.tar.xz | 3.3K | 2014-07-30 08:21:14 |
| coq-float_8.4-4.dsc | 2.0K | 2014-07-30 08:21:14 |
| libfloat-coq_8.4-4_all.deb | 10.92M | 2014-07-30 08:21:14 |
| coq-float_8.4.orig.tar.gz | 344.1K | 2013-05-08 22:56:16 |
| coq-float_8.3pl1-4.debian.tar.gz | 3.2K | 2012-06-06 21:47:20 |
| coq-float_8.3pl1-4.dsc | 2.0K | 2012-06-06 21:47:20 |
| libfloat-coq_8.3pl1-4_all.deb | 15.87M | 2012-06-06 21:47:20 |
| coq-float_8.3pl1.orig.tar.gz | 351.3K | 2012-01-09 21:03:16 |
| libfloat-coq_8.2-1.2-5_all.deb | 10.23M | 2010-07-03 16:42:50 |
| coq-float_8.2-1.2-5.debian.tar.gz | 3.0K | 2010-07-03 16:42:49 |
| coq-float_8.2-1.2-5.dsc | 1.9K | 2010-07-03 16:42:49 |
| coq-float_8.2-1.2.orig.tar.gz | 315.4K | 2009-03-13 10:17:03 |
| coq-float_8.1-1.0-4.diff.gz | 3.8K | 2008-01-19 16:32:01 |
| coq-float_8.1-1.0-4.dsc | 0.7K | 2008-01-19 16:32:01 |
| libfloat-coq_8.1-1.0-4_all.deb | 9.36M | 2008-01-19 16:32:01 |
| coq-float_8.1-1.0.orig.tar.gz | 313.5K | 2007-08-30 13:02:01 |