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

Name Last Modified Size Type
Parent Directory  Directory
coq-float_8.1-1.0-3.diff.gz2007-Nov-19 07:03:433.7K application/x-gzip
coq-float_8.1-1.0-3.dsc2007-Nov-19 07:03:430.6K application/octet-stream
coq-float_8.1-1.0.orig.tar.gz2007-Oct-28 14:08:24313.5K application/x-gzip
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-5.debian.tar.gz2010-Jul-29 09:05:203K application/x-gzip
coq-float_8.2-1.2-5.dsc2010-Jul-29 09:05:201.3K application/octet-stream
coq-float_8.2-1.2-7.debian.tar.gz2011-Apr-30 11:05:573.4K application/x-gzip
coq-float_8.2-1.2-7.dsc2011-Apr-30 11:05:571.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.3pl1-4.debian.tar.gz2012-Jun-08 10:36:073.2K application/x-gzip
coq-float_8.3pl1-4.dsc2012-Jun-08 10:36:072K application/octet-stream
coq-float_8.3pl1.orig.tar.gz2012-Apr-30 15:41:48351.3K application/x-gzip
libfloat-coq_8.1-1.0-3_all.deb2008-Jan-11 05:04:289.4M application/octet-stream
libfloat-coq_8.2-1.2-4_all.deb2010-Mar-10 08:04:5310.2M application/octet-stream
libfloat-coq_8.2-1.2-5_all.deb2010-Jul-29 10:05:3710.2M application/octet-stream
libfloat-coq_8.2-1.2-7_all.deb2011-May-19 14:04:4213.3M application/octet-stream
libfloat-coq_8.2-1.2-9_all.deb2012-Jan-07 21:35:0613.3M application/octet-stream
libfloat-coq_8.3pl1-4_all.deb2012-Jun-08 15:06:5315.9M application/octet-stream