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

Wed May 20 20:38:05 UTC 2009

The following commit has been merged in the master branch:
commit 279dbda60e3018d4dd1e4e6dce376180d13ca2ef
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed May 20 22:38:00 2009 +0200

    Update copyright file

diff --git a/debian/copyright b/debian/copyright
index 96700bf..837f890 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -2,45 +2,102 @@ Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat
 Packaged-By: Mehdi Dogguy <dogguy at pps.jussieu.fr
 Packaged-Date: Mon, 11 May 2009 15:11:37 +0200
 Original-Source-Location: http://frama-c.cea.fr/download.html
-
 Upstream-Author: Software Reliability Laboratory (LSL) and INRIA ProVal project
 
-Files: Makefile.in, configure.in, config.h.in, src/logic/*.ml*, 
-  cil/src/logic/*.ml*, src/wp/*.ml*, src/pdg_types/*.ml*, src/pdg/*.ml*, 
-  src/slicing_types/*.ml*, src/slicing/*.ml*
-Copyright: © 2007-2008 CEA (Commissariat à l'Énergie Atomique), INRIA (Institut 
-  National de Recherche en Informatique et Automatique)
-Licence: LGPL-2.1
+Files: debian/*
+Copyright: © 2008 Mehdi Dogguy <dogguy at pps.jussieu.fr
+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/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-2008 CEA (Commissariat à l'Énergie Atomique)
+	   © 2007-2008 INRIA (Institut National de Recherche en Informatique et Automatique)
+License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
 Files: src/jessie/*.ml*
-Copyright: © 2007-2008 INRIA (Institut National de Recherche en Informatique et 
-  Automatique)
-Licence: LGPL-2.1
+Files: src/ltl_to_acsl/*
+Copyright: © 2007-2008 INRIA (Institut National de Recherche en Informatique et Automatique)
+License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
-Files: Makefile.plugin, src/kernel/*.ml*, src/misc/*.ml*, src/ai/*.ml*, 
-  src/memory_state/*.ml*, src/toplevel/*.ml*, share/*.c, share/*.h, 
-  src/from/*.ml*, src/gui/*.ml*, src/inout/*.ml*,   src/postdominators/*.ml*, 
-  src/project/*.ml*, src/sparecode/*.ml*, src/users/*.ml*,   src/value/*.ml*, 
-  src/constant_propagation/*.ml*, src/cxx_types/cc_ast.mli.in 
+Files: Makefile.plugin
+Files: src/kernel/*.ml*
+Files: src/misc/*.ml*
+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/sparecode/*.ml*
+Files: src/users/*.ml*
+Files: src/value/*.ml*
+Files: src/constant_propagation/*.ml*
+Files: src/cxx_types/cc_ast.mli.in
+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: tests/*
+Files: doc/*
+Files: src/dummy/*
+Files: share/why/*.why
 Copyright: © 2007-2008 CEA (Commissariat à l'Énergie Atomique)
-Licence: LGPL-2.1
+License: LGPL-2.1
   See `/usr/share/common-licenses/LGPL-2.1'.
 
 Files: cil/*
-Copyright: © 2001-2005,
- 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.wisc.edu>
-Licence: BSD-3
+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
   See `/usr/share/common-licenses/BSD'.
 
-Files: external/ptmap.ml*
-Copyright: © Copyright 2005 INRIA (Institut National de Recherche en 
-  Informatique et en Automatique)
-Licence: QPL modified
+Files: external/ptmap.ml
+Files: external/ptmap.mli
+Copyright: © 2005 Institut National de Recherche en Informatique et en Automatique
+License: QPL modified
+  See `./licenses/Q_MODIFIED_LICENSE`.
 
 In the following, "the Library" refers to the following file:
 
@@ -235,7 +292,7 @@ library.  If the library is modified by someone else and passed on, we
 want its recipients to know that what they have is not the original
 version, so that any problems introduced by others will not reflect on
 the original authors' reputations.
-
+
   Finally, any free program is threatened constantly by software
 patents.  We wish to avoid the danger that companies distributing free
 software will individually obtain patent licenses, thus in effect
@@ -282,7 +339,7 @@ works together with the library.
 
   Note that it is possible for a library to be covered by the ordinary
 General Public License rather than by this special one.
-
+
                   GNU LIBRARY GENERAL PUBLIC LICENSE
    TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
 
@@ -329,7 +386,7 @@ Library.
   You may charge a fee for the physical act of transferring a copy,
 and you may at your option offer warranty protection in exchange for a
 fee.
-
+
   2. You may modify your copy or copies of the Library or any portion
 of it, thus forming a work based on the Library, and copy and
 distribute such modifications or work under the terms of Section 1
@@ -387,7 +444,7 @@ instead of to this License.  (If a newer version than version 2 of the
 ordinary GNU General Public License has appeared, then you can specify
 that version instead if you wish.)  Do not make any other change in
 these notices.
-
+
   Once this change is made in a given copy, it is irreversible for
 that copy, so the ordinary GNU General Public License applies to all
 subsequent copies and derivative works made from that copy.
@@ -438,7 +495,7 @@ Library will still fall under Section 6.)
 distribute the object code for the work under the terms of Section 6.
 Any executables containing that work also fall under Section 6,
 whether or not they are linked directly with the Library itself.
-
+
   6. As an exception to the Sections above, you may also compile or
 link a "work that uses the Library" with the Library to produce a
 work containing portions of the Library, and distribute that work
@@ -492,7 +549,7 @@ restrictions of other proprietary libraries that do not normally
 accompany the operating system.  Such a contradiction means you cannot
 use both them and the Library together in an executable that you
 distribute.
-
+
   7. You may place library facilities that are a work based on the
 Library side-by-side in a single library together with other library
 facilities not covered by this License, and distribute such a combined
@@ -533,7 +590,7 @@ subject to these terms and conditions.  You may not impose any further
 restrictions on the recipients' exercise of the rights granted herein.
 You are not responsible for enforcing compliance by third parties to
 this License.
-
+
   11. If, as a consequence of a court judgment or allegation of patent
 infringement or for any other reason (not limited to patent issues),
 conditions are imposed on you (whether by court order, agreement or
@@ -585,7 +642,7 @@ conditions either of that version or of any later version published by
 the Free Software Foundation.  If the Library does not specify a
 license version number, you may choose any version ever published by
 the Free Software Foundation.
-
+
   14. If you wish to incorporate parts of the Library into other free
 programs whose distribution conditions are incompatible with these,
 write to the author to ask for permission.  For software which is
@@ -619,7 +676,7 @@ SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
 DAMAGES.
 
                      END OF TERMS AND CONDITIONS
-
+
      Appendix: How to Apply These Terms to Your New Libraries
 
   If you develop a new library, and you want it to be of the greatest
@@ -648,8 +705,8 @@ convey the exclusion of warranty; and each file should have at least the
 
     You should have received a copy of the GNU Library General Public
     License along with this library; if not, write to the Free
-    Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
-    MA 02111-1307, USA
+    Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
+    Boston, MA 02110-1301 USA.
 
 Also add information on how to contact you by electronic and paper mail.
 
@@ -664,11 +721,3 @@ necessary.  Here is a sample; alter the names:
   Ty Coon, President of Vice
 
 That's all there is to it!
-
-
-Files: debian/*
-Copyright: © 2008 Mehdi Dogguy <dogguy at pps.jussieu.fr
-License: LGPL-2.1
-
-The Debian packaging is (C) 2008, Mehdi Dogguy <dogguy at pps.jussieu.fr> and
-is licensed under the GPL, see `/usr/share/common-licenses/GPL'.

-- 
frama-c packaging

