Updating Debian versions in documentation