[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