diff options
author | Peter Korsgaard <jacmet@sunsite.dk> | 2009-02-01 19:37:09 +0000 |
---|---|---|
committer | Peter Korsgaard <jacmet@sunsite.dk> | 2009-02-01 19:37:09 +0000 |
commit | 91f780bc056df2a5263aa5c89323932265d95751 (patch) | |
tree | 342ef418da645163a0f6eb912b9eeb1ce2a66521 /docs | |
parent | 23152113a93b523ebd85042c46dd07f079670538 (diff) |
mpfr: bump version
I know that changing something as fundamental as mpfr this close to the
release isn't really ideal, but it's listed as the minimum version
for gcc 4.3.x:
http://gcc.gnu.org/install/prerequisites.html
Bernhard's tree has been using 2.3.2 since October, so the risk is probably
not that big though.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions