
3 Feb
2009
3 Feb
'09
12:46 p.m.
Dear maintainers of PPL packages,
this message is to let you know about a bug in PPL 0.10 that affects some of the packages you maintain. All the information, including a simple workaround is available here:
http://www.cs.unipr.it/ppl/Bugs/
Please do not hesitate to come back to us in case you need further information. All the best,
Roberto
P.S. The bug proves that no one ever ran `make check' on PPL 0.10 on a PowerPC machine and reported back the results. If you have any idea how to make sure this does not happen again...
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it