3 Oct
2014
3 Oct
'14
8:59 a.m.
On 03.10.2014 10:44, Ács Judit wrote:
Meanwhile the sysadmin installed the Debian package found in your repo, but its name was graph-tool, not python-graph-tool.
Be careful, this is a *very old* version of graph-tool! All newer versions are called python-graph-tool. Best, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>