[PPL-devel] Snapshot

[Roberto Bagnara]

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 at cs.unipr.it