f="https://sources.debian.net/src/mpfr4/">mpfr4 source code</a></li><li><a href="https://release.debian.org/migration/testing.pl?package=mpfr4">mpfr4 in the testing migration checker</a></li></ul><h2>Available versions</h2><table><tr><th>Release</th><th>Version</th></tr><tr><td>squeeze</td><td>3.0.0-2</td></tr><tr><td>wheezy</td><td>3.1.0-5</td></tr><tr><td>jessie</td><td>3.1.2-2</td></tr><tr><td>stretch</td><td>3.1.3-1</td></tr><tr><td>sid</td><td>3.1.3-1</td></tr></table><h2>Open issues</h2><table><tr><th