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,
for instance replacing with or something, with a minimal
fix which only fixes the dynamic loader issue.

Now, I don't know the differences between and 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,

UNSUBSCRIBE: mailto:picolisp@software-lab.de?subject=Unsubscribe

Reply via email to