The attached patches fix compilation issues with mini-gmp, add a gitlab
build rule, and prevent the symbols defined in gmp-glue.h from being
exported into nettle's ABI.
The latter was to avoid abidiff differences to hogweed's ABI when built
with different gmp versions. For that I renamed the gmp-glue _nettle_*
symbols to _inettle_*.
regards,
Nikos