# Any library symbols changing since 0.116.2 supposedly are outside public API
symbols-file-contains-current-version-with-debian-revision