[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gmp-devel
Subject:    Debian jessie does not include the gmp documentation
From:       tg () gmplib ! org (=?utf-8?Q?Torbj=C3=B6rn?= Granlund)
Date:       2015-10-28 7:15:40
Message-ID: 86611rtqeb.fsf () shell ! gmplib ! org
[Download RAW message or body]

"Marco Bodrato" <bodrato at mail.dm.unipi.it> writes:

  "[...] GNU Free Documentation License, Version 1.2 or any later version
  published by the Free Software Foundation; with no Invariant Sections,
  with no Front-Cover Texts, and with no Back-Cover Texts."
  
  Same licence but no Front-Cover, and no Back-Cover, as a result it is in
  "main".

We use 1.3 (which might not be relevant; I don't even know the
differences between 1.2 and 1.3).

-- 
Torbj?rn
Please encrypt, key id 0xC8601622

[prev in list] [next in list] [prev in thread] [next in thread]