gmp_header_version2   47 maint/gnulib/tests/test-libgmp.c         char gmp_header_version2[32];
gmp_header_version2   49 maint/gnulib/tests/test-libgmp.c             || (sprintf (gmp_header_version2, "%d.%d", __GNU_MP_VERSION,
gmp_header_version2   51 maint/gnulib/tests/test-libgmp.c                 strcmp (gmp_version, gmp_header_version2) != 0))