[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 [EMAIL PROTECTED]
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:[EMAIL PROTECTED]
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
