[Agda] installing 2.5.1.2

[Sergei Meshveliani]

Dear Agda developers,

Before today, I was using  Development Agda of October 4, 2016.

Now I see on the page that  Agda-2.5.1.2  was released on 
November 25, 2016".

I have an impression that I have missed the fresh release.  

Well, I try to install it:

  cabal update
  cabal install Agda

leads the the report that all the needed packages are already installed,
it also mentions Agda-2.6,  and says that I can use --reinstall, if I
like.

What might this all mean?

Thanks,

------
Sergei