topcat: version number to intermediate value 4.2-1+