Announce: GNU MPFR 3.1.2 is released

Vincent Lefevre vincent at
Thu Mar 14 00:20:12 CET 2013

GNU MPFR 3.1.2 ("canard à l'orange", patch level 2) is now available
for download from the MPFR web site:

from INRIAGForge:

and from the GNU FTP site:

Thanks very much to those who sent us bug reports and/or tested the
release candidate.

The MD5's:
ee2c3ac63bf0c2359bf08fc3ee094c19  mpfr-3.1.2.tar.bz2
181aa7bb0e452c409f2788a4a7f38476  mpfr-3.1.2.tar.gz
e3d203d188b8fe60bb6578dd3152e05c  mpfr-3.1.2.tar.xz

The SHA1's:
46d5a11a59a4e31f74f73dd70c5d57a59de2d0b4  mpfr-3.1.2.tar.bz2
5ef83b835fe0a8bf29b7929394633252673e0d67  mpfr-3.1.2.tar.gz
03e593cc6e26639ef5e60be1af8dc527209e5172  mpfr-3.1.2.tar.xz

The signatures:

Each tarball is signed by Vincent Lefèvre. This can be verified
using the DSA key ID 98C3739D; this key can be retrieved with:

  gpg --recv-keys 98C3739D

or by downloading it from <>.
The key fingerprint is:

  07F3 DBBE CC1A 3960 5078  094D 980C 1976 98C3 739D

The signatures can be verified with: gpg --verify <file.asc>
You should check that the key fingerprint matches.

Changes from version 3.1.1 to version 3.1.2:
- Bug fixes (see <> or ChangeLog file).
- Updated examples to the MPFR 3.x API.

Note: The official tarballs for MPFR up to 3.1.1 were affected by a
vulnerability for "make distcheck" due to a bug in old GNU Automake
One of the purposes of this release is to provide tarballs without
this vulnerability.

You can send success and failure reports to <mpfr at>, and give
us the canonical system name (by running the "./config.guess" script),
the processor and the compiler version, in order to complete the
"Platforms Known to Support MPFR" section of the MPFR 3.1.2 web page.


Vincent Lefèvre <vincent at> - Web: <>
100% accessible validated (X)HTML - Blog: <>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

More information about the gmp-discuss mailing list