[Agda] [ANNOUNCE] Agda 2.5.3

Andreas Abel abela at chalmers.se
Sun Sep 10 19:53:15 CEST 2017


 > I hope now that I am dealing with Agda 2.5.3.
 > (?)

I think so.

On 10.09.2017 19:18, Sergei Meshveliani wrote:
> On Sun, 2017-09-10 at 08:22 -0500, Andrés Sicard-Ramírez wrote:
>> On 10 September 2017 at 06:48, Sergei Meshveliani <mechvel at botik.ru> wrote:
>>> On Fri, 2017-09-08 at 18:57 -0500, Andrés Sicard-Ramírez wrote:
>>>
>>> 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.
>>
>> It seems you are running the above commands from the directory where
>> Agda 2.6.0 is installed. You need to run these command from a
>> different directory.
> 
> 
> No. The story was as follows.
> 
> I was working with  Agda-2.5.3-candidate  (Agda-2.5.2.20170816.tar.gz)
> which source is un-tarred to the folder
>                                   ~/agda/2.5.2.20170816/
> 
> Then I have done:
> 
>    > cd ~/.cabal/bin/
>    and saved  mv agda agda.sav
>               mv agda-mode agda-mode.sav
>    -- in order to return the 2.5.3-candidate installation,
>    if I fail with 2.5.3.
> 
> Then I did:
> 
>    > cd ~/agda
>    > tar xvfz agda-2.5.3.tar.gz
>    > mv agda-2.5.3 2.5.3
>    > cd 2.5.3
>    > cabal update
>    > cabal install Agda
> 
> It reported
>    Resolving dependencies...
>    All the requested packages are already installed:
>    Agda-2.6.0
>    Use --reinstall if you want to reinstall anyway.
> 
> Then, I commanded
>   
>    > cabal install --reinstall Agda
> 
> It is installed anyway, and now  > agda -V
> shows
>        "Agda version 2.5.3".
> 
> I hope now that I am dealing with Agda 2.5.3.
> (?)
> 
> 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