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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]coq-float_8.4.orig.tar.gz2015-01-05 18:27 344K 
[   ]coq-float_8.4-4.dsc2015-01-05 18:27 2.0K 
[   ]coq-float_8.4-4.debian.tar.xz2015-01-05 18:27 3.3K 
[   ]libfloat-coq_8.4-4_all.deb2014-12-23 13:52 11M 
[   ]libfloat-coq_8.4-3_all.deb2014-04-08 04:53 11M 
[   ]libfloat-coq_8.4-1_all.deb2013-09-29 13:59 16M 
[   ]libfloat-coq_8.3pl1-4_all.deb2012-10-02 07:58 16M 
[   ]coq-float_8.3pl1.orig.tar.gz2012-09-26 14:19 351K 
[   ]coq-float_8.3pl1-4.dsc2012-09-26 14:19 2.0K 
[   ]coq-float_8.3pl1-4.debian.tar.gz2012-09-26 14:19 3.2K 
[   ]libfloat-coq_8.2-1.2-9_all.deb2012-03-14 18:37 13M 
[   ]coq-float_8.2-1.2-9.dsc2012-03-09 15:09 2.0K 
[   ]coq-float_8.2-1.2-9.debian.tar.gz2012-03-09 15:09 3.4K 
[   ]libfloat-coq_8.2-1.2-7_all.deb2011-08-16 07:27 13M 
[   ]coq-float_8.2-1.2-7.dsc2011-08-16 07:27 1.9K 
[   ]coq-float_8.2-1.2-7.debian.tar.gz2011-08-16 07:27 3.4K 
[   ]libfloat-coq_8.2-1.2-5_all.deb2010-07-29 15:05 10M 
[   ]coq-float_8.2-1.2-5.dsc2010-07-29 14:05 1.3K 
[   ]coq-float_8.2-1.2-5.debian.tar.gz2010-07-29 14:05 3.0K 
[   ]coq-float_8.2-1.2.orig.tar.gz2009-04-29 00:05 315K