The Debian bug report clearly is some problem with Barak not expressing the requirements for gmp-2 in the package. Still, nice to see people are trying it.