debian/libxenomai1.lintian

   1 # The package libxenomai1 first didn't contain a library called *xenomai*.
   2 # Therefore, I called it libxenomai1. Now, upstream introduced libxenomai0 in
   3 # the package.  I'm leaving the package name libxenomai1 for now since
   4 # downgrading the number in the package name is probably a bad idea, and
   5 # synchronizing the package name with the SO version number isn't easily
   6 # possible anyway since the package contains several libraries.
   7 libxenomai1: package-name-doesnt-match-sonames libanalogy1 libnative3 libpsos0 libpthread-rt1 librtai0 librtdk0 librtdm1 libuitron0 libvrtx0 libvxworks1 libxenomai0