Linux puskom-ProLiant-DL385-Gen10 5.4.0-150-generic #167~18.04.1-Ubuntu SMP Wed May 24 00:51:42 UTC 2023 x86_64

//usr/share/doc/libgmp10/README.Debian

 		Documentation and Example Code
		------------------------------

Sadly, due to licensing the GMP documentation is no longer shipped in
Debian.  The package libgmp10-doc now contains only demo code.

Please see http://gmplib.org/manual/ for the documentation.


 -- Steve M. Robbins <smr@debian.org>, Sat, 06 Nov 2010 18:00:53 -0500