gmp-devel - Development tools for the GNU MP arbitrary precision library. Full Name: gmp-devel-2.0.2-13.i386.rpm Source RPM: gmp-2.0.2-13.src.rpm Version: 2.0.2 Release 13 Group: Development/Libraries License: LGPL Vendor: Red Hat, Inc. Size: 318 KB Description The static libraries, header files and documentation for using the GNU MP arbitrary precision library in applications. If you want to develop applications which will use the GNU MP library, you'll need to install the gmp-devel package. You'll also need to install the gmp package.