Hello, Developer.
I was intreged by the OS and decided to try it.
I noticed that the GPG sig was bad and thought I should let you know.
(or perhaps I did something wrong, let me know.)
Terminal:
seb@seb-pc ~/Downloads> gpg --verify guixsd-install-0.16.0.x86_64-li
gpg: no signed data
gpg: can't hash datafile: No data
seb@seb-pc ~/Downloads> gpg --verify
guixsd-install-0.16.0.x86_64-li0.x86_64-linux.iso
gpg: Signature made Thu 06 Dec 2018 09:32:25 AM MST
gpg: using RSA key 3CE464558A84FDC69DB40CFB090B11993D
gpg: Can't check signature: No public key
seb@seb-pc ~/Downloads> gpg --keyserver pool.sks-keyservers.net \
--recv-keys 3CE464558A84FDC69DB40CFB09
gpg: key 090B11993D9AEBB5: 124 signatures not checked due to missing
gpg: key 090B11993D9AEBB5: public key "Ludovic Courtès <l...@gnu.org
gpg: no ultimately trusted keys found
gpg: Total number processed: 1
gpg: imported: 1
seb@seb-pc ~/Downloads> gpg --verify
guixsd-install-0.16.0.x86_64-li0.x86_64-linux.iso
gpg: Signature made Thu 06 Dec 2018 09:32:25 AM MST
gpg: using RSA key 3CE464558A84FDC69DB40CFB090B11993D
gpg: BAD signature from "Ludovic Courtès <l...@gnu.org>" [unknown]
