How to install mpfr-3.1.2 in Ubuntu 13.04

Availble mpfr version for 13.04 is 3.1.1-1. See packages.ubuntu.com for information.

You can install it by :

sudo apt-get install libmpfr-dev libmpfr-doc libmpfr4 libmpfr4-dbg