rAKA/doc/manual/version-definition.tex.in

bugfixes/64bit-integer…cbccffa9957f7681b4ee6f0…