CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell@cs.unipr.it 2006-01-12 22:42:24

Modified files: debian : libppl.install libppl-dev.install

Log message: Move usr/lib/libppl.so from libppl-dev to libppl. Add usr/bin/ppl-config to libppl.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.install.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.install.diff...