../ configure-ppc.diff 14-Feb-2007 11:52 2112 gmp.TukBuild 14-Feb-2007 11:52 2014 gmp.desc 14-Feb-2007 11:52 516 gmpxx.h.ternary.diff 14-Feb-2007 11:52 35363 mpz_set_d.diff 14-Feb-2007 11:52 258 patch01 14-Feb-2007 11:52 1826 x86-fat.diff 14-Feb-2007 11:52 4732