libgmp 10 libgmp10 (>= 2:6.2.1+dfsg1)