Виртуальный пакет: libgmp10-dev

Это виртуальный пакет. О том, что такое виртуальные пакеты читайте в политике Debian.

Пакеты, предоставляющие libgmp10-dev

libgmp-dev

Multiprecision arithmetic library developers tools