On Fri, 24 Apr 2020 at 16:24, Ludovic Courtès wrote: > Rather: > > wget https://sv.gnu.org/people/viewgpg.php?user_id=15145 -qO - | \ > sudo gpg --import - > > :-) Nothing good happens after 1am. ;-) Well, it is not a bug so closing. Feel free "operator.name" to ask such questions on help-guix@gnu.org. All the best, simon