Index of /ubuntu/pool/universe/c/coq-float/

Name Last Modified Size Type
Parent Directory  Directory
coq-float_8.2-1.2-4.diff.gz2010-Mar-10 08:04:452.7K application/x-gzip
coq-float_8.2-1.2-4.dsc2010-Mar-10 08:04:451.9K application/octet-stream
coq-float_8.2-1.2-9.debian.tar.gz2012-Jan-07 21:34:563.4K application/x-gzip
coq-float_8.2-1.2-9.dsc2012-Jan-07 21:34:562K application/octet-stream
coq-float_8.2-1.2.orig.tar.gz2009-Apr-28 19:05:19315.4K application/x-gzip
coq-float_8.4-1.debian.tar.gz2013-May-09 01:34:063.3K application/x-gzip
coq-float_8.4-1.dsc2013-May-09 01:34:061.9K application/octet-stream
coq-float_8.4-3.debian.tar.xz2014-Jan-21 00:18:343.3K application/octet-stream
coq-float_8.4-3.dsc2014-Jan-21 00:18:341.9K application/octet-stream
coq-float_8.4.orig.tar.gz2013-May-09 01:34:06344.1K application/x-gzip
libfloat-coq_8.2-1.2-4_all.deb2010-Mar-10 08:04:5310.2M application/octet-stream
libfloat-coq_8.2-1.2-9_all.deb2012-Jan-07 21:35:0613.3M application/octet-stream
libfloat-coq_8.4-1_all.deb2013-May-09 01:34:2316.2M application/octet-stream
libfloat-coq_8.4-3_all.deb2014-Jan-21 00:53:5310.9M application/octet-stream