Update official Debian manifest file.