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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]coq-float_8.2-1.2-4...>2010-03-10 21:04 2.7K 
[TXT]coq-float_8.2-1.2-4.dsc2010-03-10 21:04 1.9K 
[ ]coq-float_8.2-1.2-9...>2012-01-08 10:34 3.4K 
[TXT]coq-float_8.2-1.2-9.dsc2012-01-08 10:34 2.0K 
[ ]coq-float_8.2-1.2.or..>2009-04-29 07:05 315K 
[ ]coq-float_8.3pl1-4.d..>2012-06-08 22:36 3.2K 
[TXT]coq-float_8.3pl1-4.dsc 2012-06-08 22:36 2.0K 
[ ]coq-float_8.3pl1.ori..>2012-05-01 03:41 351K 
[ ]coq-float_8.4-1.debi..>2013-05-09 13:34 3.3K 
[TXT]coq-float_8.4-1.dsc 2013-05-09 13:34 1.9K 
[ ]coq-float_8.4-3.debi..>2014-01-21 13:18 3.3K 
[TXT]coq-float_8.4-3.dsc 2014-01-21 13:18 1.9K 
[ ]coq-float_8.4-4.debi..>2014-07-31 01:44 3.3K 
[TXT]coq-float_8.4-4.dsc 2014-07-31 01:44 2.0K 
[ ]coq-float_8.4-5.debi..>2015-10-24 05:36 3.3K 
[TXT]coq-float_8.4-5.dsc 2015-10-24 05:36 1.9K 
[ ]coq-float_8.4-5build..>2015-11-04 23:29 3.3K 
[TXT]coq-float_8.4-5build..>2015-11-04 23:29 2.0K 
[ ]coq-float_8.4-5build..>2016-02-05 00:09 3.4K 
[TXT]coq-float_8.4-5build..>2016-02-05 00:09 2.0K 
[ ]coq-float_8.4-5build..>2016-06-13 01:08 3.5K 
[TXT]coq-float_8.4-5build..>2016-06-13 01:08 2.0K 
[ ]coq-float_8.4.orig.t..>2013-05-09 13:34 344K 
[ ]coq-float_8.9.0-1.de..>2020-02-02 01:13 3.0K 
[TXT]coq-float_8.9.0-1.dsc 2020-02-02 01:13 1.7K 
[ ]coq-float_8.9.0-1bui..>2020-02-26 01:53 3.0K 
[TXT]coq-float_8.9.0-1bui..>2020-02-26 01:53 1.9K 
[ ]coq-float_8.9.0.orig..>2020-02-02 01:13 97K 
[ ]coq-float_8.10.0-1.d..>2020-03-19 16:13 3.3K 
[TXT]coq-float_8.10.0-1.dsc 2020-03-19 16:13 1.9K 
[ ]coq-float_8.10.0-1bu..>2020-09-16 17:49 3.4K 
[TXT]coq-float_8.10.0-1bu..>2020-09-16 17:49 1.9K 
[ ]coq-float_8.10.0.ori..>2020-03-19 16:13 97K 
[ ]libfloat-coq_8.2-1.2..>2010-03-10 21:04 10M 
[ ]libfloat-coq_8.2-1.2..>2012-01-08 10:35 13M 
[ ]libfloat-coq_8.3pl1-..>2012-06-09 03:06 16M 
[ ]libfloat-coq_8.4-1_a..>2013-05-09 13:34 16M 
[ ]libfloat-coq_8.4-3_a..>2014-01-21 13:53 11M 
[ ]libfloat-coq_8.4-4_a..>2014-07-31 02:38 11M 
[ ]libfloat-coq_8.4-5_a..>2015-10-24 08:53 11M 
[ ]libfloat-coq_8.4-5bu..>2015-11-04 23:56 11M 
[ ]libfloat-coq_8.4-5bu..>2016-04-22 18:33 11M 
[ ]libfloat-coq_8.9.0-1..>2020-02-02 02:08 1.2M 
[ ]libfloat-coq_8.9.0-1..>2020-02-26 01:53 1.2M 
[ ]libfloat-coq_8.10.0-..>2020-03-19 16:23 1.2M