[Pkg-ocaml-maint-commits] [frama-c] 03/08: Update copyright file

Fri Aug 11 18:32:54 UTC 2017

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

mehdi pushed a commit to branch master
in repository frama-c.

commit 2d3251f466d7b9dc817be70522cdf010366d377a
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 11 11:30:20 2017 -0400

    Update copyright file
---
 debian/copyright | 247 ++++++++++++++++++++++++++++++++++---------------------
 1 file changed, 151 insertions(+), 96 deletions(-)

diff --git a/debian/copyright b/debian/copyright
index b946a3c..041d89a 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -5,33 +5,153 @@ Original-Source-Location: http://frama-c.cea.fr/download.html
 Upstream-Author: Software Reliability Laboratory (LSL) and INRIA ProVal project
 
 Files: debian/*
-Copyright: © 2008-2011 Mehdi Dogguy <mehdi at debian.org>
+Copyright: © 2008-2017 Mehdi Dogguy <mehdi at debian.org>
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
-Files: Makefile.in
-Files: configure.in
-Files: config.h.in
-Files: src/logic/*.ml*
-Files: cil/src/logic/*.ml*
-Files: src/pdg_types/*.ml*
-Files: src/pdg/*.ml*
-Files: src/report/*
-Files: src/slicing_types/*.ml*
-Files: src/slicing/*.ml*
-Files: src/scope/Scope.mli
-Files: src/scope/datascope.ml
-Files: src/scope/dpds_gui.ml
-Files: src/scope/zones.ml
-Files: src/scope/zones.mli
-Copyright: © 2007-2011 CEA (Commissariat à l'Énergie Atomique)
-	   © 2007-2011 INRIA (Institut National de Recherche en Informatique et Automatique)
+Files: **/configure*
+Copyright: © 1992-1996, 1998-2012 Free Software Foundation, Inc.
+License: MIT-like
+  This configure script is free software; the Free Software Foundation
+  gives unlimited permission to copy, distribute and modify it.
+
+Files: src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.c
+Files: src/plugins/e-acsl/contrib/libgmp/mini-gmp/mini-gmp.h
+Copyright: © 1991-1997, 1999-2015 Free Software Foundation, Inc
+License: LGPL-2.1
+  See `/usr/share/common-licenses/LGPL-2.1'.
+
+Files: src/plugins/e-acsl/contrib/libjemalloc/*
+Copyright: © 2002-2016 Jason Evans <jasone at canonware.com>
+           © 2007-2012 Mozilla Foundation
+           © 2009-2016 Facebook, Inc
+License: BSD
+  See `/usr/share/common-licenses/BSD'.
+
+Files: src/plugins/e-acsl/contrib/libjemalloc/bin/jeprof.in
+Copyright: © 1998-2007 Google Inc
+           © 2009-2010 Andrea Leofreddi <a.leofreddi at itcharm.com>
+License: BSD-3
+  See `/usr/share/common-licenses/BSD'.
+
+Files: src/plugins/e-acsl/contrib/libjemalloc/include/msvc_compat/C99/stdint.h
+Copyright: © 2006-2008 Alexander Chemeris
+License: BSD-3
+  See `/usr/share/common-licenses/BSD'.
+
+Files: src/plugins/e-acsl/contrib/libjemalloc/test/include/test/*
+Files: src/plugins/e-acsl/contrib/libjemalloc/test/src/*
+Copyright: © 2006,2007 Mutsuo Saito, Makoto Matsumoto and Hiroshima
+License: BSD-3
+  See `/usr/share/common-licenses/BSD'.
+
+Files: src/plugins/e-acsl/contrib/libjemalloc/test/unit/hash.c
+Copyright: © 2006,2007 Mutsuo Saito, Makoto Matsumoto and Hiroshima
+           © 2010-2012 Austin Appleby
+License: BSD-3
+  See `/usr/share/common-licenses/BSD'.
+
+Files: src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
+Copyright: © 2004,2012 Kustaa Nyholm / SpareTimeLabs
+License: BSD-3
+  See `/usr/share/common-licenses/BSD'.
+
+Files: src/plugins/wp/share/coqwp/BuiltIn.v
+Files: src/plugins/wp/share/coqwp/bool/Bool.v
+Files: src/plugins/wp/share/coqwp/int/Abs.v
+Files: src/plugins/wp/share/coqwp/int/ComputerDivision.v
+Files: src/plugins/wp/share/coqwp/int/Int.v
+Files: src/plugins/wp/share/coqwp/int/MinMax.v
+Files: src/plugins/wp/share/coqwp/map/Map.v
+Files: src/plugins/wp/share/coqwp/real/Abs.v
+Files: src/plugins/wp/share/coqwp/real/FromInt.v
+Files: src/plugins/wp/share/coqwp/real/MinMax.v
+Files: src/plugins/wp/share/coqwp/real/Real.v
+Files: src/plugins/wp/share/coqwp/real/RealInfix.v
+Files: src/plugins/wp/share/coqwp/real/Square.v
+Files: src/plugins/wp/share/ergo/bool.Bool.mlw
+Files: src/plugins/wp/share/ergo/int.Abs.mlw
+Files: src/plugins/wp/share/ergo/int.ComputerDivision.mlw
+Files: src/plugins/wp/share/ergo/int.Int.mlw
+Files: src/plugins/wp/share/ergo/int.MinMax.mlw
+Files: src/plugins/wp/share/ergo/map.Map.mlw
+Files: src/plugins/wp/share/ergo/real.Abs.mlw
+Files: src/plugins/wp/share/ergo/real.FromInt.mlw
+Files: src/plugins/wp/share/ergo/real.MinMax.mlw
+Files: src/plugins/wp/share/ergo/real.Real.mlw
+Files: src/plugins/wp/share/ergo/real.RealInfix.mlw
+Files: src/plugins/wp/share/ergo/real.Square.mlw
+Files: src/plugins/wp/why3_xml.mli
+Files: src/plugins/wp/why3_xml.mll
+Copyright: © 2010-2013	INRIA - CNRS - Paris-Sud University
+License: LGPL-2.1
+  See `/usr/share/common-licenses/LGPL-2.1'.
+
+Files: src/kernel_internals/parsing/clexer.mli
+Files: src/kernel_internals/parsing/clexer.mll
+Files: src/kernel_internals/parsing/cparser.mly
+Files: src/kernel_internals/parsing/errorloc.ml
+Files: src/kernel_internals/parsing/errorloc.mli
+Files: src/kernel_internals/parsing/lexerhack.ml
+Files: src/kernel_internals/runtime/machdeps.ml
+Files: src/kernel_internals/runtime/machdeps.mli
+Files: src/kernel_internals/typing/alpha.ml
+Files: src/kernel_internals/typing/alpha.mli
+Files: src/kernel_internals/typing/cabs2cil.ml
+Files: src/kernel_internals/typing/cabs2cil.mli
+Files: src/kernel_internals/typing/cfg.ml
+Files: src/kernel_internals/typing/cfg.mli
+Files: src/kernel_internals/typing/frontc.ml
+Files: src/kernel_internals/typing/frontc.mli
+Files: src/kernel_internals/typing/mergecil.ml
+Files: src/kernel_internals/typing/mergecil.mli
+Files: src/kernel_internals/typing/oneret.ml
+Files: src/kernel_internals/typing/oneret.mli
+Files: src/kernel_internals/typing/rmtmps.ml
+Files: src/kernel_internals/typing/rmtmps.mli
+Files: src/kernel_services/analysis/dataflow.ml
+Files: src/kernel_services/analysis/dataflow.mli
+Files: src/kernel_services/analysis/dataflows.ml
+Files: src/kernel_services/analysis/dataflows.mli
+Files: src/kernel_services/ast_data/cil_types.mli
+Files: src/kernel_services/ast_printing/cprint.ml
+Files: src/kernel_services/ast_printing/cprint.mli
+Files: src/kernel_services/ast_queries/cil.ml
+Files: src/kernel_services/ast_queries/cil.mli
+Files: src/kernel_services/ast_queries/cil_const.ml
+Files: src/kernel_services/ast_queries/cil_const.mli
+Files: src/kernel_services/parsetree/cabs.ml
+Files: src/kernel_services/parsetree/cabshelper.ml
+Files: src/kernel_services/parsetree/cabshelper.mli
+Files: src/kernel_services/visitors/cabsvisit.ml
+Files: src/kernel_services/visitors/cabsvisit.mli
+Files: src/libraries/utils/cilconfig.ml
+Files: src/libraries/utils/cilconfig.mli
+Files: src/libraries/utils/escape.ml
+Files: src/libraries/utils/escape.mli
+Files: src/libraries/utils/escape.mli
+Files: share/machdep.c
+Files: src/libraries/utils/cilconfig.ml
+Files: src/libraries/utils/cilconfig.mli
+Files: src/libraries/utils/escape.ml
+Files: src/libraries/utils/escape.mli
+Copyright: © 2001-2003 George C. Necula <necula at cs.berkeley.edu>
+           © 2001-2003 Scott McPeak <smcpeak at cs.berkeley.edu>
+           © 2001-2003 Wes Weimer <weimer at cs.berkeley.edu>
+           © 2001-2003 Ben Liblit <liblit at cs.berkeley.edu>
+License: BSD-3
+  See `/usr/share/common-licenses/BSD'.
+
+Files: *
+Copyright: © 2007-2017 CEA (Commissariat à l'Énergie Atomique)
+	   © 2007-2017 INRIA (Institut National de Recherche en Informatique et Automatique)
+           © 2007-2017 INSA (Institut National des Sciences Appliquees)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
-Files: src/lib/rangemap.ml
+Files: src/libraries/utils/rangemap.ml
+Files: src/libraries/utils/rangemap.mli
 Copyright: © 1996 Institut National de Recherche en Informatique et en Automatique
-           © 2007-2010 CEA (Commissariat à l'Énergie Atomique)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
@@ -44,6 +164,7 @@ License: LGPL-2.1
 Files: tests/minix/*
 Copyright: © 1987, 1997, 2006, Vrije Universiteit, Amsterdam, The Netherlands
 License: BSD-3
+  See `/usr/share/common-licenses/BSD'.
 
 Files: tests/spec/purse.c
 Copyright: © 2002-2006 Jean-François COUCHOT
@@ -53,57 +174,11 @@ Copyright: © 2002-2006 Jean-François COUCHOT
 	   © 2002-2006 Claude MARCHÉ
 	   © 2002-2006 Yannick MOY
 License: GPL-2
+  See `/usr/share/common-licenses/GPL-2'.
 
-Files: share/acsl.el
-Copyright: © 2008 Pierre ROUX
-License: LGPL-2.1
-  See `/usr/share/common-licenses/LGPL-2.1'.
-
-Files: share/Makefile.plugin
-Files: src/kernel/*.ml*
-Files: src/misc/*.ml*
-Files: src/misc/*.c
-Files: src/misc/*.h
-Files: src/ai/*.ml*
-Files: src/memory_state/*.ml*
-Files: src/toplevel/*.ml*
-Files: share/*.c
-Files: share/*.h
-Files: src/from/*.ml*
-Files: src/gui/*.ml*
-Files: src/inout/*.ml*
-Files: src/postdominators/*.ml*
-Files: src/project/*.ml*
-Files: src/users/*.ml*
-Files: src/value/*.ml*
-Files: src/constant_propagation/*
-Files: ptests/*
-Files: src/buckx/buckx.ml
-Files: src/buckx/buckx.mli
-Files: src/buckx/buckx_c.c
-Files: src/buckx/mybigarray.c
-Files: src/lib/*
-Files: src/metrics/*
-Files: src/occurrence/*
-Files: src/semantic_callgraph/*
-Files: src/syntactic_callgraph/*
-Files: tests/*
-Files: doc/*
-Files: doc/code/docgen.ml
-Files: doc/code/style.css
-Files: doc/code/intro_plugin.txt
-Files: share/Makefile.config.in
-Files: share/Makefile.dynamic
-Files: share/Makefile.dynamic_config.external
-Files: share/Makefile.dynamic_config.internal
-Files: src/ai/ival.ml
-Files: src/ai/ival.mli
-Files: src/dummy/*
-Files: src/impact/*
-Files: src/security_slicing/*
-Files: src/rte/*
-Files: src/type/*
-Copyright: © 2007-2011 CEA (Commissariat à l'Énergie Atomique)
+Files: share/emacs/acsl.el
+Copyright: © 2008-2011 Pierre ROUX
+           © 2009-2017 CEA LIST
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
@@ -112,39 +187,19 @@ Copyright: © 2004-2009 David MENTRE
 License: GPL-3
   See `/usr/share/common-licenses/GPL-3'.
 
-Files: cil/src/logic/*
-Files: doc/code/*
-Files: man/frama-c.1
-Files: src/sparecode/*.ml*
-Copyright: © 2007-2011 CEA (Commissariat à l'Énergie Atomique et aux énergies alternatives)
-           © 2007-2011 INRIA (Institut National de Recherche en Informatique et en Automatique)
+Files: share/libc/netinet/tcp.h
+Copyright: © 2007-2017		CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
+           © 1982, 1986, 1993	The Regents of the University of California.
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
-Files: cil/src/frontc/*
-Copyright: © 2001-2003 George C. Necula <necula at cs.berkeley.edu>
-	   © 2001-2003 Scott McPeak <smcpeak at cs.berkeley.edu>
-	   © 2001-2003 Wes Weimer <weimer at cs.berkeley.edu>
-	   © 2001-2003 Ben Liblit <liblit at cs.berkeley.edu>
-License: BSD-3
-
-Files: cil/*
-Copyright: © 2001-2005 George C. Necula <necula at cs.berkeley.edu>
-	   © 2001-2005 Scott McPeak <smcpeak at cs.berkeley.edu>
-	   © 2001-2005 Wes Weimer <weimer at cs.berkeley.edu>
-	   © 2001-2005 Ben Liblit <liblit at cs.wisc.edu>
-License: BSD-3
-
 Files: tests/idct/*
 Copyright: © 2001 Renaud Pacalet
 License: GPL-2+
+  See `/usr/share/common-licenses/GPL-2'.
 
-Files: external/unmarshal*
-Copyright: © 2009-2010 Institut National de Recherche en Informatique et en Automatique
-License: BSD-3
-
-Files: external/hptmap.ml
-Files: external/hptmap.mli
+Files: src/libraries/utils/hptmap.ml
+Files: src/libraries/utils/hptmap.mli
 Copyright: © 2005 Institut National de Recherche en Informatique et en Automatique
 License: QPL modified
   See `./licenses/Q_MODIFIED_LICENSE`.

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

