Index of /trisquel/pool/main/c/coq-float

 Name                              Last modified      Size  
 Parent Directory                                       -   
 coq-float_8.2-1.2-3.diff.gz       2009-08-15 17:04  2.7K  
 coq-float_8.2-1.2-3.dsc           2009-08-15 17:04  1.3K  
 coq-float_8.2-1.2-4.diff.gz       2010-03-10 13:04  2.7K  
 coq-float_8.2-1.2-4.dsc           2010-03-10 13:04  1.9K  
 coq-float_8.2-1.2-5.debian.tar.gz 2010-07-29 13:05  3.0K  
 coq-float_8.2-1.2-5.dsc           2010-07-29 13:05  1.3K  
 coq-float_8.2-1.2-7.debian.tar.gz 2011-04-30 15:05  3.4K  
 coq-float_8.2-1.2-7.dsc           2011-04-30 15:05  1.9K  
 coq-float_8.2-1.2-9.debian.tar.gz 2012-01-08 02:34  3.4K  
 coq-float_8.2-1.2-9.dsc           2012-01-08 02:34  2.0K  
 coq-float_8.2-1.2.orig.tar.gz     2009-04-28 23:05  315K  
 coq-float_8.4-3.debian.tar.xz     2014-01-21 05:18  3.3K  
 coq-float_8.4-3.dsc               2014-01-21 05:18  1.9K  
 coq-float_8.4.orig.tar.gz         2013-05-09 05:34  344K  
 libfloat-coq_8.4-3_all.deb        2014-01-21 05:53   11M