Commit 5a44cfe2 authored by ale's avatar ale

Fix Debian package installation instructions

This tries to conform with:

https://wiki.debian.org/DebianRepository/UseThirdParty

We also change keyservers to avoid signature flooding
attacks. Ideally, the repository would ship its own key, to avoid
writing that key in the user's keyring, but this fixes the worst of
the problems (short key ID attacks and flooding).
parent 28430343
Pipeline #4596 failed with stages
in 16 seconds