[Agda] [ANNOUNCE] Agda 2.5.3

Andreas Abel abela at chalmers.se
Sun Sep 10 13:59:12 CEST 2017


 >    > cabal install Agda
 >
 > And it responds
 >
 >    Resolving dependencies...
 >    All the requested packages are already installed:
 >    Agda-2.6.0
 >    Use --reinstall if you want to reinstall anyway.

Seems cabal is smarter these days.

Does the following work?

   cabal install Agda-2.5.4

Anyway, if you are working with Agda-2.6.0 (development version), I see 
no reason good to install the released version.  Rather, update your 
clone of the github repository and install from there.

Best,
Andreas


On 10.09.2017 13:48, Sergei Meshveliani wrote:
> On Fri, 2017-09-08 at 18:57 -0500, Andrés Sicard-Ramírez wrote:
>> Dear all,
>>
>> The Agda Team is very pleased to announce the release of Agda 2.5.3.
>>
>> GHC supported versions
>> ===============
>>
>> Agda 2.5.3 has been tested with GHC 7.8.4, 7.10.3, 8.0.2 and 8.2.1.
>>
>> Installation
>> =======
>>
>>    cabal update && cabal install Agda
>> [..]
> 
> 
> I command (under Debian Linux)
> 
>    > cabal update
>    > cabal install Agda
> 
> And it responds
> 
>    Resolving dependencies...
>    All the requested packages are already installed:
>    Agda-2.6.0
>    Use --reinstall if you want to reinstall anyway.
> 
> Is this because I have  agda-2.5.3-candidate  installed before?
> Do I need to command
> 
>    > cabal install --reinstall Agda
> ?
> 
> Regards,
> 
> ------
> Sergei
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 


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

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

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/


More information about the Agda mailing list