[dune-typetree] 06/09: Add lintian overrides.

[Ansgar Burchardt]

This is an automated email from the git hooks/post-receive script.

ansgar pushed a commit to annotated tag debian/2.4.20150723g7b9a720-1
in repository dune-typetree.

commit 3da1a0c5e1c56453e4be1c249045c85297d7f39d
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Sun Sep 6 14:36:13 2015 +0200

    Add lintian overrides.
---
 debian/libdune-typetree-dev.lintian-overrides | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/debian/libdune-typetree-dev.lintian-overrides b/debian/libdune-typetree-dev.lintian-overrides
new file mode 100644
index 0000000..5175e4c
--- /dev/null
+++ b/debian/libdune-typetree-dev.lintian-overrides
@@ -0,0 +1,5 @@
+# We don't build a separate shared library package.
+# See also https://lists.debian.org/debian-devel/2015/07/msg00115.html
+libdune-typetree-dev: package-name-doesnt-match-sonames *
+# ABI is too unstable to warrant extra work with a symbols file
+libdune-typetree-dev: no-symbols-control-file

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-typetree.git