Si l'ISO et le fichier SHA512SUMS sont téléchargés dans le même dossier, lancer la commande suivante pour vérifier que le fichier n'est pas corrompu :
$ sha512sum --ignore-missing -c SHA512SUMS debian-13.5.0-amd64-netinst.iso: Réussi
$ gpg --verify SHA512SUMS.sign SHA512SUMS gpg: Signature faite le sam. 16 mai 2026 21:43:44 CEST gpg: avec la clef RSA DF9B9C49EAA9298432589D76DA87E80D6294BE9B gpg: Impossible de vérifier la signature : Pas de clef publique $ gpg --keyserver keyring.debian.org --recv-keys DF9B9C49EAA9298432589D76DA87E80D6294BE9B gpg: clef DA87E80D6294BE9B : clef publique « Debian CD signing key <debian-cd@lists.debian.org> » importée gpg: Quantité totale traitée : 1 gpg: importées : 1 $ gpg --verify SHA512SUMS.sign SHA512SUMS gpg: Signature faite le sam. 16 mai 2026 21:43:44 CEST gpg: avec la clef RSA DF9B9C49EAA9298432589D76DA87E80D6294BE9B gpg: Bonne signature de « Debian CD signing key <debian-cd@lists.debian.org> » [inconnu] gpg: Attention : cette clef n'est pas certifiée avec une signature de confiance. gpg: Rien n'indique que la signature appartient à son propriétaire. Empreinte de clef principale : DF9B 9C49 EAA9 2984 3258 9D76 DA87 E80D 6294 BE9B