# Library does not use libc
# See lintian bug https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=896012
c-evo-stdai binary: library-not-linked-against-libc usr/lib/c-evo/libstdai.so
#
# Text file is a data file, not documentation
c-evo-stdai binary: package-contains-documentation-outside-usr-share-doc
