On Wed, 14 Dec 2022, Bastian Germann wrote:
Am 14.12.22 um 16:51 schrieb Jan Wedekind:No, I didn't manage to fix it. Is it possible to remove the package?Yes. But if you do not want to maintain it anymore, orphaning would usually the step that maintainers take.