Invalid report in Debian, and verified not a problem for us:
gmp | 4.1.4-5 | hoary/main | source libgmp3 | 4.1.4-5 | hoary/main | amd64, i386, ia64, powerpc libgmp3-dev | 4.1.4-5 | hoary/main | amd64, i386, ia64, powerpc libgmp3-doc | 4.1.4-5 | hoary/main | all
Invalid report in Debian, and verified not a problem for us:
gmp | 4.1.4-5 | hoary/main | source
libgmp3 | 4.1.4-5 | hoary/main | amd64, i386, ia64, powerpc
libgmp3-dev | 4.1.4-5 | hoary/main | amd64, i386, ia64, powerpc
libgmp3-doc | 4.1.4-5 | hoary/main | all