[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