[Agda] darcs - dev-version fail

[Nils Anders Danielsson]

On 2013-11-21 17:51, Sergei Meshveliani wrote:
> And there appeared  ./Agda  and  ./Agda0.
>
> I go to  /Agda  and install Agda  from there, as usual.   So that:

Ulf wrote the following in a comment on the bug tracker:

   "Agda_0 is where it put the successfully fetched repo".

-- 
/NAD