[tools] mpfr: upgrade to 3.1.2
-rw-r--r-- 8 .gitattributes
-rw-r--r-- 204 .gitignore
-rw-r--r-- 179 BSDmakefile
-rw-r--r-- 24947 Config.in
-rw-r--r-- 17992 LICENSE
-rw-r--r-- 3251 Makefile
-rw-r--r-- 1259 README
drwxr-xr-x - docs
-rw-r--r-- 665 feeds.conf.default
drwxr-xr-x - include
drwxr-xr-x - package
-rw-r--r-- 10705 rules.mk
drwxr-xr-x - scripts
drwxr-xr-x - target
drwxr-xr-x - toolchain
drwxr-xr-x - tools