[sr-dev] git:master: pkg/deb: update debian version to 4.2.0~dev4