[Agda] Re: Avoid GHC 6.10.1 (for now)

[Nils Anders Danielsson]

On 11/11/08 15:45, Nils Anders Danielsson wrote:
>
> This has now been fixed by a new version of binary.

I should perhaps add that the most recent version of Agda is now
configured to only accept new versions of binary, so there is no risk of
using the slow version by accident.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.