Hi there, I have uploaded to our snapshot area (http://www.cs.unipr.it/ppl/Download/ftp/snapshots/) a set of distribution packages. While these are not up-to-date with respect to the current CVS version, they are there for you to check if packaging is OK. Tarballs should be unpackable, compilable and installable, RPMs should have the appropriate info and should be usable as expected. Please let me know if there are any problems. Ciao Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it