libgambit4t64: package-name-doesnt-match-sonames libgambit4
