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

[Samuel Mimram]

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

    Override lintian warning for package name.

diff --git a/debian/libapron.dirs b/debian/libapron.dirs
index 6845771..cdaad77 100644
--- a/debian/libapron.dirs
+++ b/debian/libapron.dirs
@@ -1 +1,2 @@
 usr/lib
+usr/share/lintian/overrides
diff --git a/debian/libapron.override b/debian/libapron.override
new file mode 100644
index 0000000..64ac130
--- /dev/null
+++ b/debian/libapron.override
@@ -0,0 +1 @@
+libapron: package-name-doesnt-match-sonames libapron0 libboxD0 libboxMPFR0 libboxMPQ0 liboctD0 liboctMPQ0 libpolkaMPQ0 libpolkaRll0
diff --git a/debian/rules b/debian/rules
index dd78d6b..10ab3fe 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,3 +36,4 @@ override_dh_auto_install:
 	    mv debian/tmp/usr/lib/$$i debian/tmp/usr/lib/$$i.0; \
 	    ln -s $$i.0 debian/tmp/usr/lib/$$i; \
 	done
+	cp debian/libapron.override debian/libapron/usr/share/lintian/overrides/libapron

-- 
apron packaging