The file /usr/share/doc/libgmp10/README.Debian contains the mysterious sentences Sadly, due to licensing the GMP documentation is no longer shipped in Debian. The package libgmp10-doc now contains only demo code. Any explanation for this? Best regards, jj