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