Until this is fixed in the official repos, I've uploaded a corrected package for Ubuntu 12.04 to the PPA given below, so that everybody can test it out (please give it some time, the 64 bit package is still waiting to build at the time of this writing). I've tested it with Frescobaldi, works for me.
https://launchpad.net/~dr-graef/+archive/test -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1110326 Title: portmidi 1:200-0ubuntu1.12.04.1 is broken To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/portmidi/+bug/1110326/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs