10
10
# note when updating version numbers here, also update pkgIndex.in (see
15
15
EXP_VERSION=$EXP_MAJOR_VERSION.$EXP_MINOR_VERSION
16
16
EXP_VERSION_NODOTS=$EXP_MAJOR_VERSION$EXP_MINOR_VERSION
17
17
EXP_VERSION_FULL=$EXP_VERSION.$EXP_MICRO_VERSION