[Agda] [ANNOUNCE] Agda 2.5.3
Andreas Abel
abela at chalmers.se
Sun Sep 10 17:25:40 CEST 2017
Sorry, I meant
cabal install Agda-2.5.3
(But you may already have a 2.5.3 on your system).
On 10.09.2017 13:59, Andreas Abel wrote:
> > > 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