Marc Nieper-Wißkirchen wrote:
> Shouldn't get the new module libgmp-mpz an entry in MODULES.html.sh?

Yes, feel free to add it. I tend to update this file only occasionally.

Bruno




Reply via email to