[Agda-dev] Testing build of Agda 2.4.2.4 release candidate

[Ulf Norell]

Tested with
- OSX 10.10 and ghc-7.10.1
- Windows 8.1 ghc-7.6.3

/ Ulf

On Mon, Sep 14, 2015 at 6:34 AM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> Hi,
>
> I have tested the release candidate for Agda 2.4.2.4 in
>
>   http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.3.20150913.tar.gz
>
> with GHC 7.6.3, 7.8.4 and 7.10.2 using Ubuntu 12.04 64-bits.
>
> Could someone test the release candidate with Windows and Mac OS using the
> following instructions:
>
>   $ tar xzf Agda-2.4.2.3.20150913.tar.gz
>   $ cd Agda-2.4.2.3.20150913
>   $ cabal install
>
> Thanks,
>
> --
> Andrés
> _______________________________________________
> Agda-dev mailing list
> Agda-dev at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20150914/301fa88e/attachment.html