BARE-7:
BARE-7: Updated version in the debian package.