[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 9a8c55f8459ee33299c8304f8105c2f8d084822b
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 16:15:16 2009 +0100

    Minor polishing.

diff --git a/debian/control b/debian/control
index 44ed0b2..ee5353a 100644
--- a/debian/control
+++ b/debian/control
@@ -2,8 +2,7 @@ Source: apron
 Section: libdevel
 Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
-Uploaders:
- Samuel Mimram <smimram at debian.org>,
+Uploaders: Samuel Mimram <smimram at debian.org>
 Build-Depends:
  debhelper (>= 7.0.50~),
  ocaml (>= 3.11.1),
@@ -29,6 +28,8 @@ Description: Runtime libraries for APRON
  interface to various underlying libraries/abstract domains and to provide
  additional services that can be implemented independently from the underlying
  library/abstract domain.
+ .
+ This package contains the shared libraries needed at runtime.
 
 Package: liblapron-dev
 Section: libdevel
@@ -44,6 +45,8 @@ Description: An abstract interpretation library
  interface to various underlying libraries/abstract domains and to provide
  additional services that can be implemented independently from the underlying
  library/abstract domain.
+ .
+ This pacakge contains the files necessary to use the APRON library in C.
 
 Package: libapron-ocaml
 Section: ocaml
@@ -74,4 +77,4 @@ Description: An abstract interpretation library
  additional services that can be implemented independently from the underlying
  library/abstract domain.
  .
- This package gives access to the APRON library from OCaml.
+ This pacakge contains the files necessary to use the APRON library in OCaml.
diff --git a/debian/copyright b/debian/copyright
index 6c49946..da1ac98 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -2,10 +2,10 @@ Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=re
 Packaged-By: Samuel Mimram <smimram at debian.org>
 Packaged-Date: Wed Oct 21 19:11:16 CEST 2009
 Upstream-Source: http://apron.cri.ensmp.fr/library/
-Upstream-Maintainer: The APRON Team
+Upstream-Maintainer: Antoine Miné <mine at di.ens.fr>
 
 Files: apron/*
-Copyright:
+Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné
 License: LGPL-2.1+
 
 Files: apron/apronxx/*

-- 
apron packaging