Torbjörn Granlund tg at
Fri Dec 8 19:37:31 UTC 2017

paul zimmermann <Paul.Zimmermann at> writes:

  > If we add a version number to mini-gmp, what should it be? The only
  > "releases" of mini-gmp are gmp releases, should we adopt that, and then
  > have no well-defined version number for mini-gmp between gmp releases?
  it could then be the corresponding GMP release version, for example you could
  have in mini-gmp.h:
  #define __GMP_IS_MINI
  #define __GNU_MP_VERSION            6
  #define __GNU_MP_VERSION_MINOR      1
I am not sure we should bind the version numbers like that.

Perhaps each push to the repo should increase an integer, __GNU_MP_MINI?

Please encrypt, key id 0xC8601622

More information about the gmp-devel mailing list