Re: [PPL-devel] Solved PPL + SWI + Debian

Valerio Senni wrote:

I finally solved my problems by dist-upgrading Debian to Lenny.Indeed, seems that some gcc libraries needed to be upgraded.

Hi Valerio,

I am glad the problem is solved.

Thank you for your help. I hope that my experience will be of some help.

It certainly will. This is the reason why we insist everything takes place on the mailing list: this way the experience of one person is available to others. All the best,

Roberto