Raghu Jayan
2014-05-19 20:11:56 UTC
Hello,
Based on a post in this mailing list I tried to obtain the Win64 port
using darcs:
darcs get --set-scripts-executable http://mico.org/mico-darcs-repository mico
However, I get an error when I run it. I get the following message,
darcs failed: Not a repository: http://mico.org/mico-darcs-repository
(CouldNotConnectToServer)
HINT: Do you have the right URI for the repository?
If so, check with the repository owner to see if the following files
are readable:
1. _darcs/format - might not exist; that's OK
2. _darcs/inventory - should exist if #1 is missing
3. _darcs/hashed_inventory - should exist if #2 is missing
Has anyone been able to successfully compile x64 windows version? I
would appreciate any pointers in this regard.
Thanks in advance,
Raghu
Based on a post in this mailing list I tried to obtain the Win64 port
using darcs:
darcs get --set-scripts-executable http://mico.org/mico-darcs-repository mico
However, I get an error when I run it. I get the following message,
darcs failed: Not a repository: http://mico.org/mico-darcs-repository
(CouldNotConnectToServer)
HINT: Do you have the right URI for the repository?
If so, check with the repository owner to see if the following files
are readable:
1. _darcs/format - might not exist; that's OK
2. _darcs/inventory - should exist if #1 is missing
3. _darcs/hashed_inventory - should exist if #2 is missing
Has anyone been able to successfully compile x64 windows version? I
would appreciate any pointers in this regard.
Thanks in advance,
Raghu