Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: gmp Upstream-Contact: https://gmplib.org/ Source: https://gmplib.org/ 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. Comment: This source is repackaged from the gmp package obtained from https://gmplib.org/. This package contains only the doc subdirectory from the original upstream sources. Files: * Copyright: 1991, 1993-2023 The GMP team License: GFDL-1.3+-no-invariant Files: debian/* Copyright: 2019-2023 Jerome Benoit 2007-2019 Steve M. Robbins License: GPL-3+ License: GFDL-1.3+-no-invariant Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, with the Front-Cover Texts being ``A GNU Manual'', and with the Back-Cover Texts being ``You have freedom to copy and modify this GNU Manual, like GNU software''. . On Debian systems, a the complete text of the GNU Free Documentation License version 1.3 can be found in "/usr/share/common-licenses/GFDL-1.3". License: GPL-3+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. . This package is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this package. If not, see . . On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".