[PPL-devel] RPM packages
Roberto Bagnara
bagnara at cs.unipr.it
Mon Oct 15 12:17:36 CEST 2001
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
More information about the PPL-devel
mailing list