debian: version number