diff options
Diffstat (limited to 'debian/apt.lintian-overrides')
| -rw-r--r-- | debian/apt.lintian-overrides | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/debian/apt.lintian-overrides b/debian/apt.lintian-overrides index 2867c74d9..0c4d42d1b 100644 --- a/debian/apt.lintian-overrides +++ b/debian/apt.lintian-overrides @@ -1,2 +1,4 @@ -apt: no-shlibs-control-file +# the private library is for internal sharing only apt: package-name-doesnt-match-sonames +# external solvers are shipped in here: +apt: package-contains-empty-directory |