Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: PPL (Parma Polyhedra Library)
Upstream-Contact: PPL developers <ppl-devel@cs.unipr.it>
Source: https://www.bugseng.com/ppl/

Files: *
Copyright: 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
           2010-2016 BUGSENG srl (http://bugseng.com)
License: GPL-3+

Files: src/*_types.hh
       tests/*_types.hh
       demos/ppl_lpsol/dummy.cc
       interfaces/Java/README.java
       interfaces/OCaml/README.ocaml
       interfaces/Prolog/Ciao/README.ciao
       interfaces/Prolog/GNU/README.gprolog
       interfaces/Prolog/SWI/README.swiprolog
       interfaces/Prolog/SWI/ppl_swiprolog.hh
       interfaces/Prolog/YAP/README.yap
Copyright: 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
           2010-2016 BUGSENG srl (http://bugseng.com)
License: PPL-permissive

Files: README
       README.alpha
       README.arm
       README.configure
       README.solaris
       STANDARDS
       doc/README.doc
       doc/definitions.dox
       doc/devref-language-interface.tex
       doc/devref.tex
       doc/user-language-interface.tex
       doc/user.tex
       doc/ppl-user-*
       interfaces/Prolog/Prolog_interface_compilation.dox
       tests/README
Copyright: 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
           2010-2016 BUGSENG srl (http://bugseng.com)
License: GFDL-NIV-1.2+

Files: debian/*
Copyright: 2008-2015 Michael Tautschnig <mt@debian.org>
           2008-2009 Arthur Loiret <arthur.loiret@gmail.com>
           2011-2015 Matthias Klose <doko@debian.org>
           2016-2026 Tobias Hansen <thansen@debian.org>
           and other Debian contributors, see debian/changelog
License: GPL-3+

License: GPL-3+
 This program 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 program 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 <https://www.gnu.org/licenses/>.
 .
 On Debian systems, the complete text of the GNU General Public License
 version 3 can be found in "/usr/share/common-licenses/GPL-3".

License: GFDL-NIV-1.2+
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.2
 or any later version published by the Free Software Foundation;
 with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
 .
 On Debian systems, the complete text of the GNU Free Documentation
 License version 1.2 can be found in "/usr/share/common-licenses/GFDL-1.2".

License: PPL-permissive
 This file is free software; as a special exception the author gives
 unlimited permission to copy and/or distribute it, with or without
 modifications, as long as this notice is preserved.
 .
 This program is distributed in the hope that it will be useful, but
 WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
 implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
 PURPOSE.
