"Jan Nijtmans" <nijtmans at users.sourceforge.net> writes: Agreed. But then the logical question is, where can I find the current development tree? Is it <http://gmplib.org/devel/>, or is there some repository somewhere? The GMP repository is not publicly available. -- Torbjörn