On 2013-04-02 10:27, Achim Gratz wrote:
I've added test packages compiled with gcc-4.7.2-1 (to be installed by manually selecting them, like the test version of gcc itself):
FYI, 3.1.2 is out now. Also, automating the patches is possible, e.g.: PATCH_URI=$(seq -f http://www.mpfr.org/mpfr-${VERSION}/patch%02.0f 1 3) Then use the '3' to control the number of patches available. Use docinto/dodoc as in GMP. GTG. Yaakov