On 05/19/14 10:11 PM, Raghu Jayan wrote:
> 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,
>
> da
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
