On Sun, 11 Sep 2016, Moritz Klammler wrote: > gmp='gmp-4.3.2.tar.bz2' > mpfr='mpfr-2.4.2.tar.bz2' > mpc='mpc-0.8.1.tar.gz' > isl='isl-0.15.tar.bz2'
These are not the versions used in the current script (given which, presumably you need to check for any other changes to the script since you started work on your version that need to be reflected in it). -- Joseph S. Myers jos...@codesourcery.com
