I can confirm that discodos from jammy-proposed has fixed the bug for me. Test done:
install mono-devel and then install discodos and confirm that it fails to install. Added jammy-proposed to apt sources. install discodos from jammy-proposed. Confirm that discodos now installs properly. As a basic sanity test, tried "discodos --help" and confirm that the help is displayed. Package tested: $ apt-cache policy discodos discodos: Installed: 1.0~rc2-2ubuntu0.22.04.1 Candidate: 1.0~rc2-2ubuntu0.22.04.1 Version table: *** 1.0~rc2-2ubuntu0.22.04.1 500 500 http://gb.archive.ubuntu.com/ubuntu jammy-proposed/universe amd64 Packages 500 http://gb.archive.ubuntu.com/ubuntu jammy-proposed/universe i386 Packages 100 /var/lib/dpkg/status 1.0~rc2-2 500 500 http://gb.archive.ubuntu.com/ubuntu jammy/universe amd64 Packages 500 http://gb.archive.ubuntu.com/ubuntu jammy/universe i386 Packages ** Tags removed: verification-needed verification-needed-jammy ** Tags added: verification-done verification-done-jammy -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2039074 Title: [SRU] update app: Package failed to install: Error while installing package: trying to overwrite '/usr/bin/disco', which is also in package discodos 1.0~rc2-2 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/discodos/+bug/2039074/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs