[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-3-22-g0c88ec9

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 0c88ec9b848f7b921fe573d48a0ba6ba3d9e7bf1
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 28 14:53:39 2009 +0200

    Update copyright file

diff --git a/debian/changelog b/debian/changelog
index 44d1df1..4ef29c0 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -25,8 +25,9 @@ frama-c (20090601~beta1+dfsg-1) unstable; urgency=low
   * Install frama-c, frama-c.byte and frama-c-gui on native-architectures
     and frama-c and frama-c-gui on non-natives ones.
   * Update README.Debian
+  * Update copyright file
 
- -- Mehdi Dogguy <mehdi at debian.org>  Thu, 27 Aug 2009 22:52:28 +0200
+ -- Mehdi Dogguy <mehdi at debian.org>  Fri, 28 Aug 2009 14:53:52 +0200
 
 frama-c (20081201.dfsg-3) unstable; urgency=low
 
diff --git a/debian/copyright b/debian/copyright
index b80c1dc..8b9ac8f 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -5,7 +5,7 @@ Original-Source-Location: http://frama-c.cea.fr/download.html
 Upstream-Author: Software Reliability Laboratory (LSL) and INRIA ProVal project
 
 Files: debian/*
-Copyright: © 2008 Mehdi Dogguy <dogguy at pps.jussieu.fr
+Copyright: © 2008-2009 Mehdi Dogguy <dogguy at pps.jussieu.fr>
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
@@ -23,14 +23,25 @@ Files: src/scope/datascope.ml
 Files: src/scope/dpds_gui.ml
 Files: src/scope/zones.ml
 Files: src/scope/zones.mli
-Copyright: © 2007-2008 CEA (Commissariat à l'Énergie Atomique)
-	   © 2007-2008 INRIA (Institut National de Recherche en Informatique et Automatique)
+Copyright: © 2007-2009 CEA (Commissariat à l'Énergie Atomique)
+	   © 2007-2009 INRIA (Institut National de Recherche en Informatique et Automatique)
+License: LGPL-2.1
+  See `/usr/share/common-licenses/LGPL-2.1'.
+
+Files: src/lib/rangemap.ml
+Copyright: © 1996 Institut National de Recherche en Informatique et en Automatique
+           © 2007-2009 CEA (Commissariat à l'Énergie Atomique)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
 Files: src/jessie/*.ml*
+Copyright: © 2007-2009 INRIA (Institut National de Recherche en Informatique et Automatique)
+License: LGPL-2.1
+  See `/usr/share/common-licenses/LGPL-2.1'.
+
 Files: src/ltl_to_acsl/*
-Copyright: © 2007-2008 INRIA (Institut National de Recherche en Informatique et Automatique)
+Copyright: © 2007-2009 INRIA (Institut National de Recherche en Informatique et Automatique)
+           © 2007-2009 INSA  (Institut National des Sciences Appliquees)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
@@ -45,15 +56,20 @@ License: BSD-3
 
 Files: tests/jessie/*
 Files: tests/spec/purse.c
-Copyright: © 2002-2006 Jean-François COUCHOT
-	   © 2002-2006 Mehdi DOGGUY
-	   © 2002-2006 Jean-Christophe FILLIÂTRE
-	   © 2002-2006 Thierry HUBERT
-	   © 2002-2006 Claude MARCHÉ
-	   © 2002-2006 Yannick MOY
+Copyright: © 2002-2008 Romain BARDOU
+	   © 2002-2008 Jean-François COUCHOT
+	   © 2002-2008 Mehdi DOGGUY
+	   © 2002-2008 Jean-Christophe FILLIÂTRE
+	   © 2002-2008 Thierry HUBERT
+	   © 2002-2008 Claude MARCHÉ
+	   © 2002-2008 Yannick MOY
+	   © 2002-2008 Christine PAULIN
+	   © 2002-2008 Yann RÉGIS-GIANAS
+	   © 2002-2008 Nicolas ROUSSET
+	   © 2002-2008 Xavier URBAIN
 License: GPL-2
 
-Files: Makefile.plugin
+Files: share/Makefile.plugin
 Files: src/kernel/*.ml*
 Files: src/misc/*.ml*
 Files: src/ai/*.ml*
@@ -66,41 +82,47 @@ Files: src/gui/*.ml*
 Files: src/inout/*.ml*
 Files: src/postdominators/*.ml*
 Files: src/project/*.ml*
-Files: src/sparecode/*.ml*
 Files: src/users/*.ml*
 Files: src/value/*.ml*
-Files: src/constant_propagation/*.ml*
-Files: src/cxx_types/cc_ast.mli.in
+Files: src/constant_propagation/*
 Files: ptests/*
-Files: share/Makefile.template
 Files: src/buckx/buckx.ml
 Files: src/buckx/buckx.mli
 Files: src/buckx/buckx_c.c
 Files: src/buckx/mybigarray.c
-Files: src/journal_loader/Journal_loader.mli
-Files: src/journal_loader/Journal_loader_gui.mli
-Files: src/journal_loader/register.ml
-Files: src/journal_loader/register_gui.ml
 Files: src/lib/*
-Files: src/metrics/Metrics.mli
-Files: src/metrics/register.ml
-Files: src/metrics/register_gui.ml
-Files: src/occurrence/Occurrence.mli
-Files: src/occurrence/Occurrence_gui.mli
-Files: src/occurrence/register.ml
-Files: src/occurrence/register_gui.ml
-Files: src/occurrence/register_gui.mli
-Files: src/semantic_callgraph/Semantic_callgraph.mli
-Files: src/semantic_callgraph/register.ml
-Files: src/syntactic_callgraph/Syntactic_callgraph.mli
-Files: src/syntactic_callgraph/Syntactic_callgraph_gui.mli
-Files: src/syntactic_callgraph/cg_viewer.ml
-Files: src/syntactic_callgraph/register.ml
+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: share/why/*.why
-Copyright: © 2007-2008 CEA (Commissariat à l'Énergie Atomique)
+Copyright: © 2007-2009 CEA (Commissariat à l'Énergie Atomique)
+License: LGPL-2.1
+  See `/usr/share/common-licenses/LGPL-2.1'.
+
+Files: tests/bugs/evoting.c
+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: share/why/*
+Files: src/sparecode/*.ml*
+Copyright: © 2007-2009 CEA (Commissariat à l'Énergie Atomique)
+           © 2007-2009 INRIA (Institut National de Recherche en Informatique et en Automatique)
 License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 

-- 
frama-c packaging