Re: How to compile Bigloo on Debian Linux

Hi Lasse.

>> Manuel,
>> can you please fix this in github?
>
> What is the official Bigloo repo by the way - is it
> <https://github.com/manuel-serrano/bigloo>?

Correct.

> We could add that information
> to <https://github.com/manuel-serrano/bigloo>.

Yes, you could open a pull request.