This ships a file named /usr/bin/art. I'm not sure if it's a good idea by
itself, but also the artemis package also ships a file with this name
(which I'm also not sure is a good idea) and so you should follow the
first paragraph of
https://www.debian.org/doc/debian-policy/ch-files.html#binaries

Reply via email to