gpg --import trisquel-archive-signkey.gpg
gpg: key B4EFB9F38D8AEBF1: "Trisquel GNU/Linux (Trisquel GNU/Linux signing
key) " not changed
gpg: key B138CA450C05112F: public key "Trisquel GNU/Linux " imported
gpg: Total number processed: 2
gpg: imported: 1
gpg: unchanged: 1
gpg --verify trisquel_8.0_amd64.iso.asc trisquel_8.0_amd64.iso
gpg: Signature made lun 19 giu 2017 05:53:40 CEST
gpg: using DSA key B4EFB9F38D8AEBF1
gpg: BAD signature from "Trisquel GNU/Linux (Trisquel GNU/Linux signing key)
" [unknown]
