[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. upstream/0.9.10-16-g9a1d54d

[Samuel Mimram]

The following commit has been merged in the master branch:
commit 27cf9e2b3922db445c4c3a7a11c5d6f39ccf7821
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 16:52:02 2009 +0100

    Refresh copyright.

diff --git a/debian/copyright b/debian/copyright
index da1ac98..60ee1d3 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -8,10 +8,6 @@ Files: apron/*
 Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné
 License: LGPL-2.1+
 
-Files: apron/apronxx/*
-Copyright: © 2007-2009 Antoine Miné
-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
   License as published by the Free Software Foundation; either
@@ -25,6 +21,12 @@ License: LGPL-2.1+
   The complete text of the GNU Lesser General Public License can be
   found in `/usr/share/common-licenses/LGPL-2.1'.
 
+Files: apron/apron/*
+Copyright: © 2005-2009 Bertrand Jeannet
+
+Files: apron/apronxx/*
+Copyright: © 2007-2009 Antoine Miné
+
 Files: apron/apronxx/apronxx_test.cc,
        apron/apronxx/apxx_ppl.hh,
        apron/apronxx/apxx_ppl_inline.hh,

-- 
apron packaging