[PPL-devel] Why we now require GMP 4.1.3 or higher

The reason is that our implementation of checked integers takes advantage of the following change that was made in GMP 4.1.3 (excerpt from their NEWS file):

* mpz_export allows NULL for countp parameter.

This new feature is exploited in several places in checked_mpz.inlines.hh. Ciao,

Roberto