# this library is used as extension of lua-torch-torch7,
# and libtorch-luat won't pollute the package name space,
# which is better than the confusing "libluat"
libtorch-luat: package-name-doesnt-match-sonames libluaT0

# there is no debian revision, lintian BUG: #539066
libtorch-luat: symbols-file-contains-debian-revision

# This is a shared library package, not a interpreter package
libtorch-luat: wrong-section-according-to-package-name
