Thomas Womack <twomack@chiark.greenend.org.uk> writes:
Do you have libgmp2-dev or libgmp3-dev installed?
I have libgmp2, libgmp3 4.0.1-3 and libgmp3-dev 4.0.1-3, so you're using later versions of all the relevant packages (indeed, since you're on amd64, on entirely different hardware) and the bug is still there. I've also reported it to bug-gmp@gnu.org on general principle, though have heard nothing from them yet.
I've just checked that this wasn't a stupid problem to do with missing mpz_init() commands; if you insert
mpz_init(A); mpz_init(B); mpz_init(C); before the first mpz_urandomb() call, it still segfaults in the same place.Tom