22 Jul
2016
22 Jul
'16
8:55 a.m.
On 22.07.2016 10:42, nicole wrote:
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.
You should just do: git clone https://git.skewed.de/count0/graph-tool.git which will work. I'll investigate the issue with the download button. Best, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>