#!/bin/bash

printf '%s\n' \
  F8028D351891AE15970A2B3B3CFB0AD8F60030F8 \
  5FDCA472AB93292BC678FD59255A76DB9A12601A \
| xargs -I __ curl -Ss 'https://archlinux32.org/keys.php?k=__' \
| gpg --homedir /etc/pacman.d/gnupg --import