Sorry, I overlooked the download button at the git repo's website. But unfortunately, it does not work. I have tried regularly for the last 20 minutes and always get HTTP error 500 (internal server error). I will try again and if I am able to download I will report the outcome of ./configure of that graph-tool version.
Thank you! -- View this message in context: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/Ubuntu-14-04-and-Boost-Coroutine-Library-tp4026654p4026661.html Sent from the Main discussion list for the graph-tool project mailing list archive at Nabble.com. _______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
