X-Git-Url: http://wagnertech.de/git?a=blobdiff_plain;f=i686-linux-gnu-4.7%2Fusr%2Fshare%2Fdoc%2Flibpplv4-13%2Fcopyright;fp=i686-linux-gnu-4.7%2Fusr%2Fshare%2Fdoc%2Flibpplv4-13%2Fcopyright;h=220dd4a300010ddfe47e3d07f95647e21325687a;hb=94df942c2c7bd3457276fe5b7367623cbb8c1302;hp=0000000000000000000000000000000000000000;hpb=4dd7d9155a920895ff7b1cb6b9c9c676aa62000a;p=cross.git

diff --git a/i686-linux-gnu-4.7/usr/share/doc/libpplv4-13/copyright b/i686-linux-gnu-4.7/usr/share/doc/libpplv4-13/copyright
new file mode 100644
index 0000000..220dd4a
--- /dev/null
+++ b/i686-linux-gnu-4.7/usr/share/doc/libpplv4-13/copyright
@@ -0,0 +1,124 @@
+This is Debian GNU's prepackaged version of the Parma Polyhedra Library (PPL):
+a C++ library for the manipulation of numerical abstractions.
+
+This package has seen its final preparation for Debian by Michael Tautschnig
+<mt@debian.org> using the sources obtained from 
+ftp://ftp.cs.unipr.it/pub/ppl/releases/
+
+Program Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>
+Modifications for Debian Copyright (C) 2008 Michael Tautschnig <mt@debian.org>
+and Arthur Loiret <arthur.loiret@gmail.com>.
+
+Authors: see the CREDITS file or http://www.cs.unipr.it/ppl/Credits
+for the complete list of authors.
+   
+License:
+   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, write to the Free Software
+   Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
+
+On Debian systems, the complete text of the GNU General
+Public License can be found in `/usr/share/common-licenses/GPL-3'
+
+This is the Debian GNU/Linux prepackaged version of the Parma
+Polyhedra Library (PPL): a C++ library for the manipulation of
+numerical abstractions.
+
+For the most up-to-date information see the Parma Polyhedra Library
+site: http://www.cs.unipr.it/ppl/
+
+The documentation of the PPL is licensed under the GNU Free Documentation
+License (v1.2).
+
+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.
+
+To some files (listed below), a license as follows applies:
+
+Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>
+
+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.
+
+This license applies to:
+
+src/Linear_Expression.types.hh
+src/Coefficient_traits_template.hh
+src/Poly_Gen_Relation.types.hh
+src/C_Polyhedron.types.hh
+src/GMP_Integer.types.hh
+src/Ptr_Iterator.types.hh
+src/Variable.types.hh
+src/Linear_System.types.hh
+src/Constraint_System.types.hh
+src/Linear_Row.types.hh
+src/Grid_Certificate.types.hh
+src/DB_Row.types.hh
+src/BHRZ03_Certificate.types.hh
+src/Polyhedron.types.hh
+src/fpu.types.hh
+src/Determinate.types.hh
+src/Coefficient.types.hh
+src/Grid_Generator.types.hh
+src/Congruence_System.types.hh
+src/globals.types.hh
+src/Grid_Generator_System.types.hh
+src/Interval.types.hh
+src/Scalar_Products.types.hh
+src/Generator_System.types.hh
+src/Powerset.types.hh
+src/Congruence.types.hh
+src/Checked_Number.types.hh
+src/Constraint.types.hh
+src/NNC_Polyhedron.types.hh
+src/Topology.hh
+src/Init.types.hh
+src/Widening_Function.types.hh
+src/Matrix.types.hh
+src/H79_Certificate.types.hh
+src/Generator.types.hh
+src/DB_Matrix.types.hh
+src/BD_Shape.types.hh
+src/Row.types.hh
+src/Grid.types.hh
+src/Poly_Con_Relation.types.hh
+tests/Partial_Function.types.hh
+tests/Random_Number_Generator.types.hh
+src/Pending_Element.types.hh
+src/EList_Iterator.types.hh
+src/EList.types.hh
+src/Handler.types.hh
+src/Time.types.hh
+src/Doubly_Linked_Object.types.hh
+src/Watchdog.types.hh
+src/Pending_List.types.hh
+src/OR_Matrix.types.hh
+src/Interval_Info.types.hh
+src/Bit_Row.types.hh
+src/Pointset_Powerset.types.hh
+src/iterator_to_const.types.hh
+src/MIP_Problem.types.hh
+src/stdiobuf.types.hh
+src/Partially_Reduced_Product.types.hh
+src/distances.types.hh
+src/Octagonal_Shape.types.hh
+src/Box.types.hh
+src/Bit_Matrix.types.hh
+src/Variables_Set.types.hh
+