Should we remove it or turn it into an empty deb so users upgrading don't keep an old buggy and unmaintained version installed on their system?
Should we remove it or turn it into an empty deb so users upgrading don't keep an old buggy and unmaintained version installed on their system?