Re: [PPL-devel] ppl ftbfs on arm

[Concerning http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=499746]

This should be fixed in CVS HEAD. A new PPL 0.10 snapshot will appear in the next few days at

ftp://ftp.cs.unipr.it/pub/ppl/snapshots/

Please do report all PPL bugs to ppl-devel@cs.unipr.it All the best,

Roberto