I am not sure, but I suspect that the easiest way to get this fixed in Ubuntu 12.04 is create a point release for 3.0.8.10, for instance replacing 3.0.8.10-1 with 3.0.8.10-2 or something, with a minimal fix which only fixes the dynamic loader issue.
Now, I don't know the differences between 3.1.0.4 and 3.0.8.10 but in general maintainers are very conservative about changes, so as to not introduce unintended consequences. (But as I said in my previous email, the problem may not be even that, but rather that the bug was filed against the wrong package.) best regards, Jakob -- UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe
