I tried to build it myself. Now it should Build-Depends on libgmp-dev instead of libgmp10-dev. -- Changwoo Ryu <cwryu@debian.org>
Attachment: signature.asc Description: This is a digitally signed message part