Dear all, on spartacus, in the usual place, there are now RPM packages for PPL 0.1. $ ls -l /opt/ppl-distrib/ total 3616 -rw-rw-r-- 1 roberto roberto 869996 Oct 15 11:55 ppl-0.1-1.i386.rpm -rw-rw-r-- 1 roberto roberto 702282 Oct 15 11:52 ppl-0.1-1.src.rpm -rw-rw-r-- 1 roberto roberto 568983 Oct 15 09:18 ppl-0.1.tar.bz2 -rw-rw-r-- 1 roberto roberto 703040 Oct 15 09:18 ppl-0.1.tar.gz -rw-rw-r-- 1 roberto roberto 830084 Oct 15 09:18 ppl-0.1.zip Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it