Hi [ https://gmplib.org/download/gmp/gmp-6.2.1.tar.lz | https://gmplib.org/download/gmp/gmp-6.2.1.tar.lz ] leads to a file saying 'No lzip or lunzip available' Directeur de recherche au CNRS, laboratoire VERIMAG http://www-verimag.imag.fr/~monniaux/