bug#10519: guile and (mini-)gmp

[Ludovic Courtès]

Hello,

Torbjorn Granlund <address@hidden> skribis:

> address@hidden (Niels Möller) writes:
>
>   Andy Wingo <address@hidden> writes:
>   
>   > One suggestion, if it's possible: it would be great if mini-gmp could
>   > make it to be part of gnulib at some point.
>   
>   It's main home will be the GMP repo and distributions. But that doesn't
>   exclude that it's also copied into gnulib, if that's convenient.
>   
> We should make a VERY clear note in the file about the home position,
> and that the file should better not be extended and put into gnulib, to
> avoid incompatibility between two version.

Gnulib has bits from libc, for example, and in that case the module file
has “libc” in its “Maintainer” field.  So I guess the maintainer of the
mini-gmp module could be “gmp”.

Thanks,
Ludo.’