Hasta Pacman versión 4.0.0, el gestor de paquetes de Arch Linux carecía de soporte para paquetes verificados.