Index of /src/contrib/00Archive/Rmpfr

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Rmpfr_0.1-5.tar.gz 2009-08-14 15:24 69K 
[   ]Rmpfr_0.1-6.tar.gz 2009-09-04 11:59 73K 
[   ]Rmpfr_0.1-7.tar.gz 2009-09-07 17:27 74K 
[   ]Rmpfr_0.2-3.tar.gz 2010-01-29 01:52 80K 
[   ]Rmpfr_0.2-6.tar.gz 2011-02-12 07:30 86K 
[   ]Rmpfr_0.4-2.tar.gz 2011-08-11 01:59 582K 
[   ]Rmpfr_0.4-3.tar.gz 2011-09-09 23:56 593K 
[   ]Rmpfr_0.4-4.tar.gz 2011-11-30 06:28 597K 
[   ]Rmpfr_0.4-6.tar.gz 2012-02-06 15:06 438K 
[   ]Rmpfr_0.4-7.tar.gz 2012-05-18 02:02 1.8M 
[   ]Rmpfr_0.4-8.tar.gz 2012-05-23 04:35 793K 
[   ]Rmpfr_0.5-0.tar.gz 2012-07-13 09:45 398K 
[   ]Rmpfr_0.5-1.tar.gz 2012-12-03 10:53 460K 
[   ]Rmpfr_0.5-2.tar.gz 2013-08-06 10:27 521K 
[   ]Rmpfr_0.5-3.tar.gz 2013-09-27 02:16 526K 
[   ]Rmpfr_0.5-4.tar.gz 2013-10-23 08:20 524K 
[   ]Rmpfr_0.5-5.tar.gz 2014-06-19 07:12 533K 
[   ]Rmpfr_0.5-6.tar.gz 2014-09-05 10:54 538K 
[   ]Rmpfr_0.5-7.tar.gz 2014-11-27 03:53 538K 
[   ]Rmpfr_0.6-0.tar.gz 2015-12-04 08:40 569K 
[   ]Rmpfr_0.6-1.tar.gz 2016-11-15 12:38 582K 
[   ]Rmpfr_0.7-0.tar.gz 2018-01-12 18:06 591K 
[   ]Rmpfr_0.7-1.tar.gz 2018-07-30 11:10 608K