Subject: Re: bug#10519: guile and (mini-)gmp

From: [email-masked] (Ludovic Courtès)
Date: Sat, 04 Feb 2012 23:46:42 +0100

Hello,

Torbjorn Granlund <[email-masked]> skribis:

> [email-masked] (Niels Möller) writes:
>
>   Andy Wingo <[email-masked]> 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.’