[PPL-devel] Solved PPL + SWI + Debian

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it