Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: GtkAda Source: https://libre.adacore.com/ Files-Excluded: config.guess config.sub configure docs/Makefile.in docs/gtkada_rm docs/gtkada_ug docs/texi2html install-sh src/generated src/gtkextra src/misc_generated.c src/opengl/gdkgl.c src/opengl/gdkgl.h src/opengl/gtkglarea.c src/opengl/gtkglarea.h testgtk/opengl/lw.c testgtk/opengl/lw.h Comment: The GTKAda user guide is licensed separately under the GNU Free Documentation License with Invariant Sections and Cover Texts, so Debian cannot distribute it. The reference manual is also excluded because its generation process relies on parts of the user manual. . We take the opportunity to remove copied or generated sources and simplify the Debian copyright and rules files. . The autoconf stuff, src/generated/* and src/misc_generated.c sources are generated at build time. . Texi2html and the OpenGL C sources are copied from other source packages. . The gtkextra module is not compiled anymore. . Ideally, the GIR files should be taken from lib*-dev packages, but upstreams uses old and patched versions. . According to the diff count, the tarball named "gpl-2015" seems to be generated from the git branch named "ide-2014". Files: * Copyright: 1998-2011 Emmanuel Briot 1998-2011 Joel Brobecker 1998-2011 Arnaud Charlet 1998-2011 Nicolas Setton 2000-2011 ACT-Europe 2000 Helix Code 2008-2009 Sam Hocevar 2010-2015 Adacore License: GPL-3+ Files: debian/* Copyright: 2003-2013 Ludovic Brenta 2012-2016 Nicolas Boulenguez License: GPL-3+ License: GPL-3+ This file is free software; you can redistribute it and/or modify it under terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version. It 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. . On Debian GNU/Linux systems, the complete text of the GNU General Public License can be found in `/usr/share/common-licenses/GPL-3'.