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

Mehdi Dogguy mehdi at debian.org
Tue Nov 17 22:00:44 UTC 2009


The following commit has been merged in the master branch:
commit dcebde128861ceb1e8ec9db822ee0dfa3b0fa19c
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Nov 17 22:59:07 2009 +0100

    Remove non-needed Provides for libapron-dev

diff --git a/debian/changelog b/debian/changelog
index 3584084..a9c14b9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+apron (0.9.10-4) UNRELEASED; urgency=low
+
+  * Remove non-needed Provides for libapron-dev
+
+ -- Mehdi Dogguy <mehdi at debian.org>  Tue, 17 Nov 2009 22:58:45 +0100
+
 apron (0.9.10-3) unstable; urgency=low
 
   * Remove build dependency on ocaml-native-compilers, closes: #556636.
diff --git a/debian/control b/debian/control
index 44198ec..d83ec64 100644
--- a/debian/control
+++ b/debian/control
@@ -40,7 +40,6 @@ Depends: ${shlibs:Depends}, ${misc:Depends},
  libgmp3-dev,
  libmpfr-dev,
  libppl0.10-dev
-Provides: ${ocaml:Provides}
 Description: An abstract interpretation library
  The APRON library is dedicated to the static analysis of the numerical
  variables of a program by Abstract Interpretation. The aim of such an analysis

-- 
apron packaging



More information about the Pkg-ocaml-maint-commits mailing list