[GAP Forum] GAP-4.8.4 or 4.8.3?

[Vinay Wagh]

Dear Forum,

I am not sure whether this is a problem or not!

I am trying to install latest GAP release -- 4.8.4 on my 64bit Ubuntu
14.04 system (from the link
http://www.gap-system.org/pub/gap/gap48/tar.gz/gap4r8p4_2016_06_04-12_41.tar.gz).

After the successful compilation, if I start gap, then in the banner I
can see the version as 4.8.3 with build of 4th June.

Am I missing something while compilation?

The output -->

------------------------------------------------------
 ┌───────┐   GAP 4.8.3, 19-Mar-2016, build of 2016-06-04 01:23:49 (IST)
 │  GAP  │   http://www.gap-system.org
 └───────┘   Architecture: x86_64-pc-linux-gnu-gcc-default64
 Libs used:  gmp
 Loading the library and packages ...
 Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
------------------------------------------------------


Thanks in advance
VInay