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 <[email protected]> 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 <[email protected]> +Copyright: © 2008-2017 Mehdi Dogguy <[email protected]> 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 <[email protected]> + © 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 <[email protected]> +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 <[email protected]> + © 2001-2003 Scott McPeak <[email protected]> + © 2001-2003 Wes Weimer <[email protected]> + © 2001-2003 Ben Liblit <[email protected]> +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 <[email protected]> - © 2001-2003 Scott McPeak <[email protected]> - © 2001-2003 Wes Weimer <[email protected]> - © 2001-2003 Ben Liblit <[email protected]> -License: BSD-3 - -Files: cil/* -Copyright: © 2001-2005 George C. Necula <[email protected]> - © 2001-2005 Scott McPeak <[email protected]> - © 2001-2005 Wes Weimer <[email protected]> - © 2001-2005 Ben Liblit <[email protected]> -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 _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
