[Agda] [ANNOUNCE] Agda 2.5.3

Sergei Meshveliani mechvel at botik.ru
Sun Sep 10 13:48:06 CEST 2017


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



More information about the Agda mailing list