Re: [graph-tool] Re :What GNU/Linux distribution do you have, Debian or Ubuntu? What version?