libgmp-dev • apt package info