gmp_version        45 maint/gnulib/tests/test-libgmp.c     if (strcmp (gmp_version, gmp_header_version) != 0)
gmp_version        51 maint/gnulib/tests/test-libgmp.c                 strcmp (gmp_version, gmp_header_version2) != 0))
gmp_version        55 maint/gnulib/tests/test-libgmp.c                      gmp_header_version, gmp_version);