I have made a new version of the patch - now it actually works. ** Attachment added: "Updated patch for optional libraries" http://librarian.launchpad.net/5649761/mosml-ubuntu.diff
-- extend mosml package to include optional libraries (patch included) https://launchpad.net/bugs/78367 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
