On debian sid, apt-get install python-graph-tool fails for lack of
libcgal10. apt-cache search shows libcgal11 is all that's there. also pip
install graph-tool cannot find a package to install.
Can I install graph-tool through a package manager on debian sid?