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

diff --git a/i686-linux-gnu-4.7/usr/share/doc/libgmpxxv4-4/copyright b/i686-linux-gnu-4.7/usr/share/doc/libgmpxxv4-4/copyright
new file mode 100644
index 0000000..d45d84d
--- /dev/null
+++ b/i686-linux-gnu-4.7/usr/share/doc/libgmpxxv4-4/copyright
@@ -0,0 +1,60 @@
+	GMP Debian Package
+	------------------
+
+This gmp package was built for Debian by 
+
+  Steve M. Robbins <smr@debian.org>
+  Philipp Matthias Hahn <pmhahn@debian.org>
+
+from sources obtained at http://gmplib.org/ .
+
+
+	GMP Source Code
+	---------------
+
+Copyright 1991, 1996, 1999, 2000, 2007 Free Software Foundation, Inc.
+
+This file is part of the GNU MP Library.
+
+The GNU MP Library is free software; you can redistribute it and/or modify
+it under the terms of either:
+
+  * the GNU Lesser General Public License as published by the Free
+    Software Foundation; either version 3 of the License, or (at your
+    option) any later version.
+
+or
+
+  * 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.
+
+or both in parallel, as here.
+
+The GNU MP Library 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 copies of the GNU General Public License and the
+GNU Lesser General Public License along with the GNU MP Library.  If not,
+see https://www.gnu.org/licenses/.
+
+
+The GNU Lesser General Public License v3 text is contained in /usr/share/common-licenses/LGPL-3.
+The GNU General Public License v2 text is contained in /usr/share/common-licenses/GPL-2.
+The GNU General Public License v3 text is contained in /usr/share/common-licenses/GPL-3.
+
+
+	GMP Documentation
+	-----------------
+
+The documentation is released under the GNU Free Documentation License
+(GFDL) and it has cover texts.  As such, it has been determined not to
+meet the Debian Free Software Guidelines, and is not shipped in the
+debian packages.
+
+The demo code in the -doc package is covered either by the LGPL, or
+under the GNU General Public License /usr/share/common-licenses/GPL.
+See the individual source files to determine the license under which
+it falls.