[PPL-devel] RPM packages

[Roberto Bagnara]

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