gmp_header_version   42 maint/gnulib/tests/test-libgmp.c     char gmp_header_version[32];
gmp_header_version   43 maint/gnulib/tests/test-libgmp.c     sprintf (gmp_header_version, "%d.%d.%d", __GNU_MP_VERSION,
gmp_header_version   45 maint/gnulib/tests/test-libgmp.c     if (strcmp (gmp_version, gmp_header_version) != 0)
gmp_header_version   55 maint/gnulib/tests/test-libgmp.c                      gmp_header_version, gmp_version);