Package: pinball-dev Version: 0.3.20230219-2 Hi,
your package pinball-dev installs these two files, both part of the default PATH: /usr/bin/pinball-config /usr/games/pinball-config Please install into only one of these. I'd recommend installing into /usr/bin, to avoid future name clashes in PATH. Chris
