Binary package “libgmp3-dev” in ubuntu-rtm 14.09-factory

Multiprecision arithmetic library developers tools

This is a dummy package that simply pulls in libgmp-dev.
It can safely be removed.