1. 2013-09-30 [12] Bug#724320: gmp: x32: sizeof(mp_limb_t)!=sizeof(void*) is not supported gmp-discuss Bill Allombert 2. 2013-09-29 [14] gmpbench -- how to utilize all CPU cores? gmp-discuss . 3. 2013-09-12 [2] ggnfs gmp-discuss Zimmermann Paul