Actually before somebody expects a typo, I mean https://github.com/CARMinesDouai/PhaROS-Book On 2015-11-06 9:40 AM, Sebastian Heidbrink wrote:

Hi!

Is there a CI server somewhere that currently builds the PharOS-Book?

Or is there a place where the last built is available for download?

Cheers! Sebastian