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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]libfloat-coq_8.10.0-1_all.deb2020-03-19 08:23 1.2M 
[ ]libfloat-coq_8.9.0-1build1_all.deb2020-02-25 17:53 1.2M 
[ ]libfloat-coq_8.9.0-1_all.deb2020-02-01 18:08 1.2M 
[ ]libfloat-coq_8.4-5build2_all.deb2016-04-22 10:33 11M 
[ ]libfloat-coq_8.4-5build1_all.deb2015-11-04 15:56 11M 
[ ]libfloat-coq_8.4-5_all.deb2015-10-24 00:53 11M 
[ ]libfloat-coq_8.4-4_all.deb2014-07-30 18:38 11M 
[ ]libfloat-coq_8.4-3_all.deb2014-01-21 05:53 11M 
[ ]libfloat-coq_8.4-2build1_all.deb2013-12-24 16:18 11M 
[ ]libfloat-coq_8.4-2_all.deb2013-12-07 17:48 11M 
[ ]libfloat-coq_8.4-1_all.deb2013-05-09 05:34 16M 
[ ]libfloat-coq_8.3pl1-4_all.deb2012-06-08 19:06 16M 
[ ]libfloat-coq_8.3pl1-3_all.deb2012-05-01 01:05 16M 
[ ]libfloat-coq_8.2-1.2-9_all.deb2012-01-08 02:35 13M 
[ ]libfloat-coq_8.2-1.2-8build2_all.deb2012-01-07 19:03 13M 
[ ]libfloat-coq_8.2-1.2-8build1_all.deb2011-12-11 12:04 13M 
[ ]libfloat-coq_8.2-1.2-8_all.deb2011-11-10 18:13 13M 
[ ]libfloat-coq_8.2-1.2-7_all.deb2011-05-19 18:04 13M 
[ ]libfloat-coq_8.2-1.2-5_all.deb2010-07-29 14:05 10M 
[ ]libfloat-coq_8.2-1.2-4_all.deb2010-03-10 13:04 10M 
[ ]libfloat-coq_8.2-1.2-3_all.deb2009-08-15 17:04 10M 
[ ]libfloat-coq_8.1-1.0-4_all.deb2008-06-03 00:05 9.4M 
[ ]libfloat-coq_8.1-1.0-3_all.deb2008-01-11 10:04 9.4M 
[ ]coq-float_8.10.0.orig.tar.gz2020-03-19 08:13 97K 
[ ]coq-float_8.10.0-1build1.dsc2020-09-16 09:49 1.9K 
[ ]coq-float_8.10.0-1build1.debian.tar.xz2020-09-16 09:49 3.4K 
[ ]coq-float_8.10.0-1.dsc2020-03-19 08:13 1.9K 
[ ]coq-float_8.10.0-1.debian.tar.xz2020-03-19 08:13 3.3K 
[ ]coq-float_8.9.0.orig.tar.gz2020-02-01 17:13 97K 
[ ]coq-float_8.9.0-1build1.dsc2020-02-25 17:53 1.9K 
[ ]coq-float_8.9.0-1build1.debian.tar.xz2020-02-25 17:53 3.0K 
[ ]coq-float_8.9.0-1.dsc2020-02-01 17:13 1.7K 
[ ]coq-float_8.9.0-1.debian.tar.xz2020-02-01 17:13 3.0K 
[ ]coq-float_8.4.orig.tar.gz2013-05-09 05:34 344K 
[ ]coq-float_8.4-5build3.dsc2016-06-12 17:08 2.0K 
[ ]coq-float_8.4-5build3.debian.tar.xz2016-06-12 17:08 3.5K 
[ ]coq-float_8.4-5build2.dsc2016-02-04 16:09 2.0K 
[ ]coq-float_8.4-5build2.debian.tar.xz2016-02-04 16:09 3.4K 
[ ]coq-float_8.4-5build1.dsc2015-11-04 15:29 2.0K 
[ ]coq-float_8.4-5build1.debian.tar.xz2015-11-04 15:29 3.3K 
[ ]coq-float_8.4-5.dsc2015-10-23 21:36 1.9K 
[ ]coq-float_8.4-5.debian.tar.xz2015-10-23 21:36 3.3K 
[ ]coq-float_8.4-4.dsc2014-07-30 17:44 2.0K 
[ ]coq-float_8.4-4.debian.tar.xz2014-07-30 17:44 3.3K 
[ ]coq-float_8.4-3.dsc2014-01-21 05:18 1.9K 
[ ]coq-float_8.4-3.debian.tar.xz2014-01-21 05:18 3.3K 
[ ]coq-float_8.4-2build1.dsc2013-12-24 15:58 1.3K 
[ ]coq-float_8.4-2build1.debian.tar.gz2013-12-24 15:58 3.4K 
[ ]coq-float_8.4-2.dsc2013-12-07 17:18 1.9K 
[ ]coq-float_8.4-2.debian.tar.gz2013-12-07 17:18 3.3K 
[ ]coq-float_8.4-1.dsc2013-05-09 05:34 1.9K 
[ ]coq-float_8.4-1.debian.tar.gz2013-05-09 05:34 3.3K 
[ ]coq-float_8.3pl1.orig.tar.gz2012-04-30 19:41 351K 
[ ]coq-float_8.3pl1-4.dsc2012-06-08 14:36 2.0K 
[ ]coq-float_8.3pl1-4.debian.tar.gz2012-06-08 14:36 3.2K 
[ ]coq-float_8.3pl1-3.dsc2012-04-30 19:41 2.0K 
[ ]coq-float_8.3pl1-3.debian.tar.gz2012-04-30 19:41 3.2K 
[ ]coq-float_8.2-1.2.orig.tar.gz2009-04-28 23:05 315K 
[ ]coq-float_8.2-1.2-9.dsc2012-01-08 02:34 2.0K 
[ ]coq-float_8.2-1.2-9.debian.tar.gz2012-01-08 02:34 3.4K 
[ ]coq-float_8.2-1.2-8build2.dsc2012-01-07 18:33 2.0K 
[ ]coq-float_8.2-1.2-8build2.debian.tar.gz2012-01-07 18:33 3.5K 
[ ]coq-float_8.2-1.2-8build1.dsc2011-12-11 11:03 1.7K 
[ ]coq-float_8.2-1.2-8build1.debian.tar.gz2011-12-11 11:03 3.5K 
[ ]coq-float_8.2-1.2-8.dsc2011-11-10 17:09 2.0K 
[ ]coq-float_8.2-1.2-8.debian.tar.gz2011-11-10 17:09 3.4K 
[ ]coq-float_8.2-1.2-7.dsc2011-04-30 15:05 1.9K 
[ ]coq-float_8.2-1.2-7.debian.tar.gz2011-04-30 15:05 3.4K 
[ ]coq-float_8.2-1.2-5.dsc2010-07-29 13:05 1.3K 
[ ]coq-float_8.2-1.2-5.debian.tar.gz2010-07-29 13:05 3.0K 
[ ]coq-float_8.2-1.2-4.dsc2010-03-10 13:04 1.9K 
[ ]coq-float_8.2-1.2-4.diff.gz2010-03-10 13:04 2.7K 
[ ]coq-float_8.2-1.2-3.dsc2009-08-15 17:04 1.3K 
[ ]coq-float_8.2-1.2-3.diff.gz2009-08-15 17:04 2.7K 
[ ]coq-float_8.1-1.0.orig.tar.gz2007-10-28 18:08 313K 
[ ]coq-float_8.1-1.0-4.dsc2008-05-03 02:20 764  
[ ]coq-float_8.1-1.0-4.diff.gz2008-05-03 02:20 3.8K 
[ ]coq-float_8.1-1.0-3.dsc2007-11-19 12:03 595  
[ ]coq-float_8.1-1.0-3.diff.gz2007-11-19 12:03 3.7K 
Apache/2.4.12 (Ubuntu) Server at 212.25.29.199 Port 8080