Am Mi., 28. Aug. 2024 um 14:21 Uhr schrieb Bruno Haible <br...@clisp.org>:
[...] > Let me start with the renamings of what is already in gnulib. Then, > your additions are welcome (as two patches, please: one for the > new code in module libgmp, and one for the new tests). > > > 2024-08-28 Bruno Haible <br...@clisp.org> > > libgmp-mpz: New module, renamed from libgmp. > * modules/libgmp-mpz: Renamed from modules/libgmp. > * modules/libgmp: New file. > * modules/libgmp-mpz-tests: Renamed from modules/libgmp-tests. > * tests/test-libgmp-mpz.c: Renamed from tests/test-libgmp.c. > > > https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=9f961994f66bc50c9537912d16a7d63e85e185cb Shouldn't get the new module libgmp-mpz an entry in MODULES.html.sh?