[Agda] Re: ANNOUNCE: Agda 2.4.2.3 release candidate

Andreas Abel abela at chalmers.se
Wed May 20 09:23:44 CEST 2015


On 19.05.2015 17:13, Andrés Sicard-Ramírez wrote:
> On 18 May 2015 at 22:56, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
>> This RC can be installed using the following instructions:
>>
>>    $ tar xzf 2.4.2.2.20150518.tar.gz
>>    $ cd Agda-2.4.2.2.20150518.tar.gz
>>    $ cabal install
>
> The right instructions are:
>
>    $ tar xzf agda-2.4.2.2.20150518.tar.gz
>    $ cd agda-2.4.2.2.20150518.tar.gz
>    $ cabal install
>

Thanks for the RC!

Probably the following will work more reliably(?)

   cabal update
   cabal install cpphs
   cabal install alex
   cabal install happy

   tar xzf agda-2.4.2.2.20150518.tar.gz
   cd agda-2.4.2.2.20150518
   cabal install

Cheers,
Andreas

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list