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 <[email protected]>
signature.asc
Description: OpenPGP digital signature
_______________________________________________ graph-tool mailing list [email protected] https://lists.skewed.de/mailman/listinfo/graph-tool
