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 <[email protected]> _______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
