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

[Andrés Sicard-Ramírez]

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