[PPL-devel] ppl ftbfs on arm

[Roberto Bagnara]

[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 at cs.unipr.it
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