Perhaps we should add a simple one-level version to mini-gmp? #define GMP_MINI_VERSION 17
It does not need to be bumped with GMP release if mini-gmp did not change. Perhaps it should be bumped at each checkin? Torbjörn Please encrypt, key id 0xC8601622 _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
