../ | | - | Directory |
coq-float_8.2-1.2-4.diff.gz | 2010-Mar-10 14:04:45 | 2.6K | application/gzip |
coq-float_8.2-1.2-4.dsc | 2010-Mar-10 14:04:45 | 1.9K | application/octet-stream |
coq-float_8.2-1.2-7.debian.tar.gz | 2011-Apr-30 17:05:57 | 3.4K | application/gzip |
coq-float_8.2-1.2-7.dsc | 2011-Apr-30 17:05:57 | 1.9K | application/octet-stream |
coq-float_8.2-1.2-9.debian.tar.gz | 2012-Jan-08 03:34:56 | 3.4K | application/gzip |
coq-float_8.2-1.2-9.dsc | 2012-Jan-08 03:34:56 | 1.9K | application/octet-stream |
coq-float_8.2-1.2.orig.tar.gz | 2009-Apr-29 01:05:19 | 315.3K | application/gzip |
coq-float_8.3pl1-4.debian.tar.gz | 2012-Jun-08 16:36:07 | 3.2K | application/gzip |
coq-float_8.3pl1-4.dsc | 2012-Jun-08 16:36:07 | 1.9K | application/octet-stream |
coq-float_8.3pl1.orig.tar.gz | 2012-Apr-30 21:41:48 | 351.3K | application/gzip |
coq-float_8.4-1.debian.tar.gz | 2013-May-09 07:34:06 | 3.2K | application/gzip |
coq-float_8.4-1.dsc | 2013-May-09 07:34:06 | 1.9K | application/octet-stream |
coq-float_8.4.orig.tar.gz | 2013-May-09 07:34:06 | 344.0K | application/gzip |
libfloat-coq_8.2-1.2-4_all.deb | 2010-Mar-10 14:04:53 | 10.2M | application/vnd.debian.binary-package |
libfloat-coq_8.2-1.2-7_all.deb | 2011-May-19 20:04:42 | 13.2M | application/vnd.debian.binary-package |
libfloat-coq_8.2-1.2-9_all.deb | 2012-Jan-08 03:35:06 | 13.3M | application/vnd.debian.binary-package |
libfloat-coq_8.3pl1-4_all.deb | 2012-Jun-08 21:06:53 | 15.8M | application/vnd.debian.binary-package |
libfloat-coq_8.4-1_all.deb | 2013-May-09 07:34:23 | 16.1M | application/vnd.debian.binary-package |