Hi all, I'm looking for the development version of GMP. I'm thinking of contributing some code and would like to have the latest check-ins. Thanks, Ash