[Agda] [ANNOUNCE] Agda 2.5.3
Sergei Meshveliani
mechvel at botik.ru
Sun Sep 10 19:18:03 CEST 2017
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
More information about the Agda
mailing list