[Agda-dev] Testing the installation of Agda 2.4.2.3 in Windows and Mac OS

[Ulf Norell]

Builds on OS X 10.10.2 / ghc-7.10.1 and Windows 8.1 / ghc-7.6.3.

/ Ulf

On Sat, May 16, 2015 at 10:56 PM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> Hi,
>
> I have tested the installation of the next Agda release
> (http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.3.tar.gz) with GHC 7.4.2,
> 7.6.3, 7.8.4 and 7.10.1 in Ubuntu 12.04 64-bits.
>
> Could someone test the installation in Windows and Mac OS using the
> following instructions:
>
>   $ tar xzf Agda-2.4.2.3.tar.gz
>   $ cd Agda-2.4.2.3
>   $ 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/20150518/46f71e20/attachment.html