diff options
| author | Julian Andres Klode <jak@debian.org> | 2023-03-06 11:50:34 +0000 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2023-03-06 11:50:34 +0000 |
| commit | 72db6955700905537fb440699840b986a5daae14 (patch) | |
| tree | d66b606584ce1a717497e54b68d2d383dac25802 /debian | |
| parent | 278f542caf92750aed06dae88f066fa01f3f09ac (diff) | |
| parent | e99c5cbfd1754b5705c57db22e32b8d8ec03b5b3 (diff) | |
Merge branch 'pu/licensing-shenanigans' into 'main'
machine-readable version of COPYING
See merge request apt-team/apt!287
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/apt.lintian-overrides | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/debian/apt.lintian-overrides b/debian/apt.lintian-overrides index 78a47a1b3..1e36ba5d8 100644 --- a/debian/apt.lintian-overrides +++ b/debian/apt.lintian-overrides @@ -1,11 +1,10 @@ # the private library is for internal sharing only apt: package-name-doesnt-match-sonames -apt: exit-in-shared-library usr/lib*/libapt-private.so.0.0.0 -apt: no-symbols-control-file usr/lib*/libapt-private.so.0.0.0 +apt: exit-in-shared-library [usr/lib*/libapt-private.so.0.0.0] # we are implementing our own fallback and it is a minor usecase only -apt: missing-depends-on-sensible-utils sensible-pager usr/lib*/libapt-private.so.0.0.0 +apt: missing-depends-on-sensible-utils sensible-pager [usr/lib*/libapt-private.so.0.0.0] # these man pages document usage/config for things called via apt -apt: spare-manual-page usr/share/man*/man1/apt-transport-http.1.gz -apt: spare-manual-page usr/share/man*/man1/apt-transport-https.1.gz -apt: spare-manual-page usr/share/man*/man1/apt-transport-mirror.1.gz -apt: spare-manual-page usr/share/man*/man8/apt-secure.8.gz +apt: spare-manual-page [usr/share/man*/man1/apt-transport-http.1.gz] +apt: spare-manual-page [usr/share/man*/man1/apt-transport-https.1.gz] +apt: spare-manual-page [usr/share/man*/man1/apt-transport-mirror.1.gz] +apt: spare-manual-page [usr/share/man*/man8/apt-secure.8.gz] |
