> On 31 Jul 2017, at 16:17, Anna Kalogirou <a.kalogirou@leeds.ac.uk> wrote:
> 
> Thanks Lawrence, the second installation attempt worked.
> 
> Best, Anna.
> 
> 
>> On 31 Jul 2017, at 15:17, Lawrence Mitchell <lawrence.mitchell@imperial.ac.uk> wrote:
>> 
>> 
>>> On 31 Jul 2017, at 14:07, Anna Kalogirou <A.Kalogirou@leeds.ac.uk> wrote:
>>> 
>>> I also have an issue with libspatialindex. Any ideas?
>>> 
>> 
>> 2017-07-31 13:49:27,832 DEBUG  ssh: Could not resolve hostname github.com: nodename nor servname provided, or not known
>> fatal: Could not read from remote repository.
>> 
>> Please make sure you have the correct access rights
>> and the repository exists.
>> 
>> 2017-07-31 13:49:27,833 WARNING Failed to clone libspatialindex using ssh, falling back to https.
>> 2017-07-31 13:49:57,912 DEBUG  fatal: unable to access '
https://github.com/firedrakeproject/libspatialindex.git/': Could not resolve host: github.com
>> 
>> 2017-07-31 13:49:57,913 ERROR  Failed to clone libspatialindex branch master.
>> 2017-07-31 13:49:57,926 INFO   
>> 
>> 
>> It looks like your internet connection or DNS fell over.  Cloning the libspatialindex repository failed.
>> 
>> Lawrence
>> _______________________________________________
>> firedrake mailing list
>> firedrake@imperial.ac.uk
>> 
https://mailman.ic.ac.uk/mailman/listinfo/firedrake
> 
> 
> _______________________________________________
> firedrake mailing list
> firedrake@imperial.ac.uk
> 
https://mailman.ic.ac.uk/mailman/listinfo/firedrake