pkg-has-symbols-control-file-but-no-shared-libs

This tag has been renamed to empty-shared-library-symbols.