libgmp 10 libgmp10 (>= 2:6.3.0+dfsg)