Correct the package version number in debian/control