summaryrefslogtreecommitdiffstats
path: root/main/mpfr3
Commit message (Expand)AuthorAgeFilesLines
* main/mpfr3: use gmp-dev instead of gmp5-devNatanael Copa2010-06-301-2/+2
* main/mpfr3: renamed for upgradeNatanael Copa2010-06-231-0/+30