[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