Hello, Torbjorn Granlund <t...@gmplib.org> skribis:
> ni...@lysator.liu.se (Niels Möller) writes: > > Andy Wingo <wi...@pobox.com> 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.’