1 May
2018
1 May
'18
2:39 p.m.
Would it be a good idea to downgrade ubuntu then? If it could happen within next few days, I would probably wait. Thank you Sent with ProtonMail Secure Email. ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐ On May 1, 2018 6:19 PM, Tiago de Paula Peixoto <tiago@skewed.de> wrote:
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
graph-tool mailing list
graph-tool@skewed.de