[Agda-dev] Testing build of Agda 2.4.2.4

[Andrés Sicard-Ramírez]

Hi,

I have tested Agda 2.4.2.4 available at

  http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.4.tar.gz

with GHC 7.6.3, 7.8.4 and 7.10.2 using Ubuntu 12.04 64-bits.

Could someone test Agda 2.4.2.4 with Windows and Mac OS using the
following instructions:

  $ tar xzf Agda-2.4.2.4.tar.gz
  $ cd Agda-2.4.2.4
  $ cabal install

Thanks,

-- 
Andrés