[PPL-devel] Solved PPL + SWI + Debian

Valerio Senni senni at disp.uniroma2.it
Wed Oct 8 15:06:38 CEST 2008


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

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

Valerio



More information about the PPL-devel mailing list