[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