In this case, shouldn't the static versions be completely removed from the -dev packages? By looking at the package contents, it seems they are still there and this might be confusing for the users, who won't know if they are the stripped or the unstripped versions.
-- libxxx-dev should be installable with libxxx-unstripped https://bugs.launchpad.net/bugs/312898 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs