[Agda] Problem when getting the Standard Library

[Nils Anders Danielsson]

On 2011-01-29 10:39, Dirk Ullrich wrote:
> darcs get --lazy http://www.cs.nott.ac.uk/~nad/repos/lib

The repository has moved, and the redirection may not survive for much
longer. New URL:

   http://www.cse.chalmers.se/~nad/repos/lib/

> I get an error like:

Should be fixed now.

-- 
/NAD