Re: [PPL-devel] Re: RFC: packaging the PPL for RedHat and Debian