[PPL-devel] ppl/debian libppl-dev.dirs libppl-dev.install ...
Roberto Bagnara
roberto at cs.unipr.it
Thu Mar 3 12:37:31 CET 2005
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto at cs.unipr.it 2005-03-03 12:37:31
Added files:
debian : libppl-dev.dirs libppl-dev.install libppl.dirs
libppl.install
Log message:
Directories and installed files for packages libppl and libppl-dev.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.dirs?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-dev.install?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.dirs?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.install?cvsroot=ppl&rev=1.1
More information about the PPL-devel
mailing list