The signatures can be verified with: gpg --verify <file.asc>
You should check that the key fingerprint matches.
Changes from version 4.0.1 to version 4.0.2:
- Corrected minimal GMP version in the INSTALL file and the MPFR manual.
- Improved MPFR manual. In particular, corrected/completed the
mpfr_get_str description in order to follow the historical behavior
and GMP's mpf_get_str function.
- Bug fixes (see ChangeLog file).
Please send success and failure reports with "./config.guess" output
to <[hidden email]>.
If no problems are found, GNU MPFR 4.0.2 should be released