| ../ | | - | Directory |
| coq-float_8.1-1.0-4.diff.gz | 2008-Jan-19 18:32:01 | 3.7K | application/gzip |
| coq-float_8.1-1.0-4.dsc | 2008-Jan-19 18:32:01 | 0.7K | text/prs.lines.tag |
| coq-float_8.1-1.0.orig.tar.gz | 2007-Aug-30 16:02:01 | 313.4K | application/x-gtar-compressed |
| coq-float_8.2-1.2-5.debian.tar.gz | 2010-Jul-03 19:42:49 | 2.9K | application/x-gtar-compressed |
| coq-float_8.2-1.2-5.dsc | 2010-Jul-03 19:42:49 | 1.9K | text/prs.lines.tag |
| coq-float_8.2-1.2.orig.tar.gz | 2009-Mar-13 12:17:03 | 315.3K | application/x-gtar-compressed |
| coq-float_8.3pl1-4.debian.tar.gz | 2012-Jun-07 00:47:20 | 3.2K | application/x-gtar-compressed |
| coq-float_8.3pl1-4.dsc | 2012-Jun-07 00:47:20 | 1.9K | text/prs.lines.tag |
| coq-float_8.3pl1.orig.tar.gz | 2012-Jan-09 23:03:16 | 351.3K | application/x-gtar-compressed |
| coq-float_8.4-4.debian.tar.xz | 2014-Jul-30 11:21:14 | 3.2K | application/x-xz |
| coq-float_8.4-4.dsc | 2014-Jul-30 11:21:14 | 1.9K | text/prs.lines.tag |
| coq-float_8.4.orig.tar.gz | 2013-May-09 01:56:16 | 344.0K | application/x-gtar-compressed |
| libfloat-coq_8.1-1.0-4_all.deb | 2008-Jan-19 18:32:01 | 9.3M | application/vnd.debian.binary-package |
| libfloat-coq_8.2-1.2-5_all.deb | 2010-Jul-03 19:42:50 | 10.2M | application/vnd.debian.binary-package |
| libfloat-coq_8.3pl1-4_all.deb | 2012-Jun-07 00:47:20 | 15.8M | application/vnd.debian.binary-package |
| libfloat-coq_8.4-4_all.deb | 2014-Jul-30 11:21:14 | 10.9M | application/vnd.debian.binary-package |