gmp-dev HEADER: gmp - Development files 3.6.0 2025-03-13 eisfair-1 the eisfair team, team(at)eisfair(dot)org stable
devel
libgmpxx4 3.6.0 libgmp10 3.6.0 Internal Program Version: GMP 6.3.0 (The HEADER-Files) Note: This package contains development libraries and header files needed to compile and link programs that use libgmp. ftp://ftp.gnu.org/gnu/gmp