Pacman 4 permite la verificación de los paquetes y sus bases de datos, pero la función estaba deshabilitada por defecto.