Ciao Luc, Il 2020-10-29 08:39 Marc Glisse ha scritto: > I think so, yes. Maybe Luc can confirm if that works? Could you try if the latest available snapshot is working in your environment? You can download it at: https://gmplib.org/download/snapshot/gmp-6.2/gmp-6.2.0-20201101220635.tar.zst Ĝis, m