I will try, certainly. My system has changed a bit since my last compile though so this may quite possibly be a lengthy process. Are you able to push the current git version to apt-get?
-- Sent from: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/ _______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
