[Pkg-ocaml-maint-commits] [ocaml-visitors] 01/03: d/copyright: files in test/ under BSD license

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository ocaml-visitors.

commit 80e3450132b8bfcd339228bfadc9cbf4176146b1
Author: Ralf Treinen <treinen at irif.fr>
Date:   Thu Jul 6 12:52:52 2017 +0200

    d/copyright: files in test/ under BSD license
---
 debian/changelog |  2 +-
 debian/copyright | 35 +++++++++++++++++++++++++++++++++++
 2 files changed, 36 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index ed926f2..c55b938 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,4 +2,4 @@ ocaml-visitors (20170404-1) unstable; urgency=medium
 
   * Initial upload (closes: #862775)
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 30 May 2017 07:46:45 +0200
+ -- Ralf Treinen <treinen at debian.org>  Thu, 06 Jul 2017 12:52:24 +0200
diff --git a/debian/copyright b/debian/copyright
index 776c6f0..944fd17 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -13,6 +13,41 @@ Files: debian/*
 Copyright: © 2017 Ralf Treinen <treinen at debian.org>
 License: LGPL-2.1
 
+Files: test/cil_types.ml test/cil_types.ml.orig test/cil_types_polymorphic.ml
+Copyright: (C) 2001-2003
+  George C. Necula    <necula at cs.berkeley.edu>
+  Scott McPeak        <smcpeak at cs.berkeley.edu>
+  Wes Weimer          <weimer at cs.berkeley.edu>
+  Ben Liblit          <liblit at cs.berkeley.edu>
+License: BSD-3-clause
+  Redistribution and use in source and binary forms, with or without      
+  modification, are permitted provided that the following conditions      
+  are met:                                                                
+  .
+  1. Redistributions of source code must retain the above copyright       
+  notice, this list of conditions and the following disclaimer.           
+  .
+  2. 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.    
+  .
+  3. The names of the contributors may not 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.                                             
+
 License: LGPL-2.1
  This library is free software; you can redistribute it and/or
  modify it under the terms of the GNU Lesser General Public

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ocaml-visitors.git