Re: gmp-doc on Debian Linux 13.6

[Karim Belabas <Karim.Belabas@u-bordeaux.fr>]

* stes@telenet.be [2026-08-19 09:40]:
[...]
> During installing of GNU GMP I observed something strange, namely that gmp-doc (the documentation for GNU GMP ?) could not be installed.
> 
> Is this a misunderstanding from my part, please, or do I see at :
> 
> https://packages.debian.org/search?keywords=gmp-doc
> 
> that gmp-doc is in a "non-free" source of Debian Linux.  Why would that be the case ?
> 
> Is the format of the documentation of GNU GMP nonfree or the contents ?
[...]

See /usr/share/doc/gmp-doc/copyright

----
  Disclaimer:
   This package is not part of the Debian GNU/Linux distribution
   as it is licenced under the GFDL with invariant texts.
   See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=335403 and
   https://lists.debian.org/debian-legal/2006/03/msg00536.html for
   details.
----

Cheers,

    K.B.
-- 
Pr. Karim Belabas, U. Bordeaux, Vice-président en charge du Numérique
Institut de Mathématiques de Bordeaux UMR 5251 - (+33) 05 40 00 29 77
http://www.math.u-bordeaux.fr/~kbelabas/