[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