Package: gap-guava / 3.13+ds-2

Header

Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/

Upstream-Name: guava package for GAP

Upstream-Contact: Joe Fields <fieldsj1@southernct.edu>

Source: http://www.gap-system.org/Packages/guava.html

Comment: The upstream source tarball is repacked to drop off the regenarated material, mainly the documentation, to substantially reduce the size.

Files-Excluded: src/leon/src/Makefile src/leon/autom4te.cache src/leon/src/leon_config.h.in~ src/leon/src/leon_config.h.in src/leon/src/leon_config.h src/leon/compile src/leon/install-sh src/leon/missing src/leon/aclocal.m4 src/leon/config.guess src/leon/config.sub src/leon/configure src/leon/doc/leon_guava_manual.pdf src/leon/doc/manual.dvi src/leon/doc/manual.pdf doc/chap*.txt doc/chap*.html doc/guava_bib.xml doc/guava_bib.xml.bib doc/guava.ilg doc/guava.idx doc/guava.ind doc/guava.blg doc/guava.bbl doc/guava.log doc/guava.toc doc/guava.out doc/guava.pnr doc/guava.brf doc/guava.aux doc/guava.tex doc/manual.six doc/manual.pdf

Licenses

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 package. If not, see <http://www.gnu.org/licenses/>.

On Debian systems, the complete text of the GNU General
Public License version 2 can be found in "/usr/share/common-licenses/GPL-2".