[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-42-g9b048fc

[Alexander Dreyer]

The following commit has been merged in the master branch:
commit 7256dc1de1caec9d240d79bb472381422cf2fa42
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Fri Jan 4 22:36:36 2013 +0100

    Added copyright texts for Cudd and M4RI

diff --git a/debian/copyright b/debian/copyright
index 074e03e..1e94959 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -13,6 +13,52 @@ License: permissive
  provided the copyright notice and this notice are
  preserved.
 
+
+Files: Cudd/*
+Copyright: 1995-2004, Fabio Somenzi <fabio at colorado.edu>
+License: BSD-3
+ Copyright (c) 1995-2004, Regents of the University of Colorado
+
+ All rights reserved.
+ 
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions
+ are met:
+
+ Redistributions of source code must retain the above copyright
+ notice, this list of conditions and the following disclaimer.
+
+ Redistributions in binary form must reproduce the above copyright
+ notice, this list of conditions and the following disclaimer in the
+ documentation and/or other materials provided with the distribution.
+
+ Neither the name of the University of Colorado nor the names of its
+ contributors may be used to endorse or promote products derived from
+ this software without specific prior written permission.
+
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+ LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+ CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ POSSIBILITY OF SUCH DAMAGE.
+
+Files: M4RI/*
+Copyright: 2007,2008 Gregory Bard <gregory.bard at ieee.org> 
+           2008 Marco Bodrato <bodrato at mail.dm.unipi.it>  
+           2008 Jean-Guillaume Dumas <Jean-Guillaume.Dumas at imag.fr>
+           2008 David Harvey <dmharvey at cims.nyu.edu>               
+           2008, 2009 Clement Pernet <clement.pernet at gmail.com>    
+           2008-2011  Martin Albrecht <martinralbrecht at googlemail.com>
+           2011 Carlo Wood <carlo at alinoe.com>                         
+License: GPL-2+  
+
 Files: *
 Copyright: 2006-2012, Michael Brickenstein <brickenstein at mfo.de>
            2006-2012, Alexander Dreyer <adreyer at gmx.de>

-- 
polybori: Polynomials over Boolean Rings