# This is a lua package, and .so libraries from this package is
# not for general usage but lua extension.
lua-torch-trepl: package-name-doesnt-match-sonames liblua5.1-torch-trepl0

# [lintian I] no need for this
lua-torch-trepl: no-symbols-control-file usr/lib/x86_64-linux-gnu/liblua5.1-torch-trepl.so.0.0.0
