[mpfr] bump version to 4.0.0
tree7c0cee549ec225c747d9de498f6109b68f239986
-rw-r--r-- 44 .gitignore
-rw-r--r-- 1068 LICENSE
-rw-r--r-- 409 README.md
-rwxr-xr-x 716 cleanit
-rwxr-xr-x 7588 doit
-rw-r--r-- 647 env.bash
drwxr-xr-x - patches
-rw-r--r-- 607 toolvers
-rwxr-xr-x 2135 updatetoolvers