libgmp10 • apt package info