[Agda] ANNOUNCE: Agda 2.4.2.1

[Andrés Sicard-Ramírez]

On 16 November 2014 07:36, Twan van Laarhoven <twanvl at gmail.com> wrote:

> On Windows I get a compile error when installing Agda-2.4.2.1:
>
>   > cabal install agda
>   Building Agda-2.4.2.1...
>   ....
>   src\full\Agda\Utils\FileName.hs:79:32:
>     Not in scope: type constructor or class `Propertty'
>     Perhaps you meant `Property' (imported fromfrom Agda.Utils.QuickCheck)
>
> After fixing this typo, agda compiled correctly.
>

It was my fault. I'll wait a couple of days to see if we get more bug
reports on Agda 2.4.2.1 before releasing a bug-fix version.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141117/009ddd2b/attachment.html