[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. debian/0.9.10-3-7-ge0e3e25

[Samuel Mimram]

The following commit has been merged in the master branch:
commit e0e3e25a7f95d5782d0f5ce60b4434f4a9f31c86
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Jan 17 17:57:53 2010 +0100

    Uploading.

diff --git a/debian/changelog b/debian/changelog
index fc783ad..4175c23 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-apron (0.9.10-4) UNRELEASED; urgency=low
+apron (0.9.10-4) unstable; urgency=low
 
   [ Mehdi Dogguy ]
   * Remove non-needed Provides for libapron-dev
@@ -9,7 +9,7 @@ apron (0.9.10-4) UNRELEASED; urgency=low
   * Fix nonopt patch to build gmp.cmxa.
   * Added oct_static patch in order to install oct*.a.
 
- -- Samuel Mimram <smimram at debian.org>  Sun, 17 Jan 2010 14:46:55 +0100
+ -- Samuel Mimram <smimram at debian.org>  Sun, 17 Jan 2010 17:57:33 +0100
 
 apron (0.9.10-3) unstable; urgency=low
 

-- 
apron packaging