22 Jul
2016
22 Jul
'16
8:42 a.m.
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/... Sent from the Main discussion list for the graph-tool project mailing list archive at Nabble.com.