$ dh_makeshlibs |wc dpkg-gensymbols: warning: some libraries disappeared in the symbols file: libgatbcore.so.3 dpkg-gensymbols: warning: the generated symbols file is empty 16371 49116 2605188 The update of gatb-core to the current version in git shall (in theory) help get minia to compile. Do these changed symbols basically suggest that we should change the soversion of the library? Opinions? I have not pushed to salsa, yet. Best, Steffen