[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