Package: libjson-c-dev
Severity: important
Version: 0.12.1-1
User: [email protected]
Usertags: usrmerge

Hello,

libjson-c-3 installs

  /lib/x86_64-linux-gnu/libjson-c.so.3 -> libjson-c.so.3.0.1

while libjson-c-dev installs the same file name into /usr:

  /usr/lib/x86_64-linux-gnu/libjson-c.so -> libjson-c.so.3
  /usr/lib/x86_64-linux-gnu/libjson-c.so.3 -> 
/lib/x86_64-linux-gnu/libjson-c.so.3

this is redundant. It would be enough for the -dev to ship

  /usr/lib/x86_64-linux-gnu/libjson-c.so -> /lib/x86_64-linux-gnu/libjson-c.so.3

Merged /usr is the default since debootstrap 1.0.85, so this is
possibly even RC.

For more information about merged /usr please see
https://wiki.debian.org/UsrMerge and
https://anonscm.debian.org/cgit/users/md/usrmerge.git/plain/debian/README.Debian

Thanks for considering,

Martin

-- 
Martin Pitt                        | http://www.piware.de
Ubuntu Developer (www.ubuntu.com)  | Debian Developer  (www.debian.org)

Reply via email to