I packaged your software for Mac OS X:

https://github.com/Homebrew/homebrew/pull/40986

brew install ppl

should work from now on

On 05/21/2015 10:01 AM, Roberto Bagnara wrote:

On 05/21/15 09:42, Francois Berenger wrote:

...

Cf. http://brew.sh/ for the homebrew package manager for macos.

Hello Francois,

support@bugseng.com is for BUGSENG customers. Judging from the subject, the message was meant for ppl-devel@cs.unipr.it, right? Kind regards,

Roberto