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

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 libfloat-coq_8.4-5build1_all.deb    04-Nov-2015 10:56   11M  
 libfloat-coq_8.4-3_all.deb          21-Jan-2014 00:53   11M  
 libfloat-coq_8.2-1.2-9_all.deb      07-Jan-2012 21:35   13M  
 coq-float_8.4.orig.tar.gz           09-May-2013 01:34  344K  
 coq-float_8.4-5build1.dsc           04-Nov-2015 10:29  2.0K  
 coq-float_8.4-5build1.debian.tar.xz 04-Nov-2015 10:29  3.3K  
 coq-float_8.4-3.dsc                 21-Jan-2014 00:18  1.9K  
 coq-float_8.4-3.debian.tar.xz       21-Jan-2014 00:18  3.3K  
 coq-float_8.2-1.2.orig.tar.gz       28-Apr-2009 19:05  315K  
 coq-float_8.2-1.2-9.dsc             07-Jan-2012 21:34  2.0K  
 coq-float_8.2-1.2-9.debian.tar.gz   07-Jan-2012 21:34  3.4K