Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0 Upstream-Name: libgap Upstream-Contact: Volker Braun Source: https://bitbucket.org/vbraun/libgap X-Upstream-Vcs: https://bitbucket.org/vbraun/libgap Comment: The upstream source ball as provided by the upstream maintainer is not used because it contains transformed material from another software package, gap, without providing the necessary tools to regenerate them. Instead a Debian Source ball is created from the upstream git repository itself mainly in order to provide these tools. The opportunity has been taken to add eXtra material: PDF slides as provided by the upstream maintainer on the download webpage of the package; a [Git]ChangeLog file as generated by git-log(1) to replace the empty version purposely maintained in the upstream git repository. Meanwhile, requests have been sent to the upstream maintainer to add the PDF slides and the generating tools into the upstream source ball. Files: * Copyright: 2011-2018 Volker Braun License: GPL-2+ Files: gapcore/* Copyright: 1996 Lehrstuhl D für Mathematik, RWTH Aachen, Germany 1998 School Math and Comp. Sci., University of St Andrews, Scotland 2002-2018 The GAP Group License: GPL-2+ Comment: This folder contains the upstream GAP-core material that is needed to build the libGAP library. It was fetched as-is by debian/get-orig-source.sh from https://www.gap-system.org/ . Files: pkgextra/doc/libGAP.pdf Copyright: 2013-2018 Volker Braun License: GPL-2+ Comment: This PDF document is part of the material provided by the upstream maintainer. At the time of packaging, it is the only document available around that gives an useful overview of the libGAP library; it was not composed by a friends of TeX but of Google, so it cannot be easily regenerated. It was fetched as-is by debian/get-orig-source.sh from https://bitbucket.org/vbraun/libgap/downloads . Files: pkgextra/GitChangeLog Copyright: 2016-2018 Jerome Benoit License: public-domain This file is public domain and come with NO WARRANTY of any kind. Comment: This file was generated by debian/get-orig-source.sh from a local clone of the upstream git repository in order to provide a meaningful alternative to the upstream ChangeLog which is empty. Files: debian/* Copyright: 2016-2018 Jerome Benoit License: GPL-2+ Files: debian/patches/gap-ds-upstream-*.patch Copyright: 2013-2018 Bill Allombert License: GPL-2+ Comment: Patches imported as-is by hand from the GAP Debian material version 4r8p7-1 . License: GPL-2+ 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 2 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 program. If not, see . . On Debian systems, the complete text of the GNU General Public License version 2 can be found in `/usr/share/common-licenses/GPL-2'.