3 Feb
2009
3 Feb
'09
1: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