1 May
2018
1 May
'18
12:49 p.m.
On 29.04.2018 13:47, Snehal Shekatkar wrote:
I am trying to install graph-tool on Ubuntu 18.04. I am encountering problems related to boost. What could be done?
The package need to be rebuild. I'll do so for next release. -- Tiago de Paula Peixoto <tiago@skewed.de>