14 Jan
2013
14 Jan
'13
7:49 p.m.
On 01/10/2013 06:12 PM, Tiago de Paula Peixoto wrote:
On 01/10/2013 05:42 PM, Richard Ree wrote:
It would be a shame if updates were not available for Ubuntu 12.04 going forward, since it is a long-term release. There appears to be a ppa with boost backports, would that enable updated graph-tool packages for 12.04?
Thanks for pointing this out. I'll consider this for the next release.
I have included packages for the 'precise' distribution in the repository, which depend on the above backport. Cheers, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>