Comment 6 for bug 2039074

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