Update debian.rst
Merge pull request #3974 from valentinbud/develop

Update debian.rst